means that under their interpretation of streams µα. A×α, the first element of the stream is an element of 1 (A), whereas in our semantics the head is an element of A. This difference arises from the differing operational idea underlying each semantics. T (0)

by This