Show two expressions are equivalent by expanding and simplifying one side until it matches the other, e.g. (x + 3)² − 9 ≡ x² + 6x, giving a reason per step and working from one side only. Both tiers. Integer representation tools and full proofs are the Higher siblings. (A6)