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