HOFMANN: this axiom is good, but it has... how can one say ... not enough identity proofs? there are in fact, many ways one can identify a term with another. I think I'm right in saying that, aren't I?

STREICHER: this is absurd!

HOFMANN: my good man, don't take it too hard. it's quality maths. there are simply not enough proofs. just add a few, and it will be perfect.

STREICHER: which few did you have in mind?