i’m trying to step thru https://en.wikipedia.org/wiki/Diagonal_lemma#Proof i th8nk next it is defining G to be the expression of f. f is a function, whereas Gf is a formula, an expression equivalent to stating that the y is the output of the function.