Congruences (1.7-1.14)