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