 That is,  e†(x) is a stream whose first component is 0 and whose second component is  e†(y). Similar observations hold for e†(y) and e†(z), of course. The upshot is that the three streams e†(x), e†(y) and e†(z) are exactly the ones we are after. 