prelim type thy.
Topography, Recursion Theory