  It would be harder to use this to turn equation (4) into the definition of two sequences by  recursion.[3]  The upshot is that we can start to see some kind of difference when we use one kind of representation instead of another.  And this brings us to our second point on the reduction of streams to functions: conceptual differences worth exploring may be hidden under the surface of such a reduction.