¹Note that the only difference between the constructions of f and g is the attempt to interpret z = γ(x) as the description of some Turing machine M rather than x itself.