Logical deduction and formal proof methods applied to lines, angles, and polygons. Builds mastery of axioms and postulates while establishing properties of congruence and similarity.