A 9th-grade algebra unit that pivots from simple equation solving to logical justification and formal proof. Students move from visual balance models to constructing rigorous two-column proofs, analyzing mathematical errors, and interpreting special solution sets.