use congruences consistently