Wollten wir es durch Einführung einer Marke in die Argumentstellen versuchen — etwa so: „(A,A),F(A,A)” — es würde nicht genügen — wir könnten die Identität der Variablen nicht feststellen u.s.w. ###>If we were to try it by introducing a mark in the argument places, like "(G,G), F(G,G)", it would not do - we could not determine the identity of the variables, etc.