class of congruences