Spec Example 7.13. Flow Sequence
