5.531 Non scrivo dunque «f (a, b) . a = b», ma «f (a, a)» (o «f (b, b)»). E non «f (a, b) . ~a = b», ma «f (a, b)».