  We want to move from streams to a more complicated example, infinite trees.  Some of the points that we make will be closely related to what we have seen for streams, and some will raise new issues.