5.531

I write therefore not “f(a,b).a=b” but “f(a,a)” (or “f(b,b)”). And not “f(a,b).~a=b”, but “f(a,b)”.