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