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