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