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