Email Record: Recursion on the countable functionals /