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