5.531

Ich schreibe also nicht „f(a,b).a=b“, sondern „f(a,a)“ (oder „f(b,b)“). Und nicht „f(a,b).~a=b“, sondern „f(a,b)“.