 First, under FA,   the first two of our three equations each have a unique solution: the empty set.   Under AFA, they have many solutions. For example, for the stream equation, the set of streams corresponding to functions which are eventually  0 is a solution.    However, the largest solutions are of special interest.    For these, one can prove that the largest solutions are in one-to-one correspondence with what we have called the unraveled forms.   And for other reasons which we shall see, there is a good reason to accept the claim that the largest solutions are good mathematical models of the intuitive concepts.  