Distinguish an equation, true for particular values, from an identity, true for all values and recorded with ≡; verify identities by expanding, refute false ones with a single counterexample value, and sort formula and inequality into the same vocabulary. Step-by-step equivalence arguments are the sibling page. Both tiers. (A3, A6)