To use programmer buzzwords: this looks self-documenting
i have some amount of beef with this, in the direction of turing machines being able to represent the same thing as lambda calculus but in different syntax. the problem comes from using a representation of the math that is just not really suitable for "self documentation"