  Then from f we get a function φ(s) : N → N by g(n) = head(fs(n)).  This defines φ, the precise definition of what we spoke of earlier by the name unraveling.  In the other direction, we need infinite systems of equations.  Given a function f : N → N, consider