M.GHS.CPC: Congruence, Proof, and Constructions