M.1HS8.CPC: Congruence, Proof, and Constructions