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