Spec Example 9.6. Stream [1.3]