the axiom of equality: post #1786 — TG.ME