This geometry sequence guides 9th-grade students through the transition from intuitive triangle congruence to formal logical proofs. Students explore SSS, SAS, ASA, AAS, and HL criteria, learn to identify 'hidden' information in diagrams, and apply CPCTC to solve complex geometric problems.