Module 1 Congruence, Proof, and Construction