C. Congruence and Implementation