8.1.13 Congruence