It is impossible to dispense with propositions in which the same argument occurs in different positions. It is obviously useless to replace φ(a, a) by φ(a, b). a = b.