  The fact that AFA allows us to solve various kinds of systems of set equations is only the beginning.  When we discussed infinite trees in  Section 1.2,  we noted that the collection Tr of infinite trees should satisfy (7), repeated below: 