canonical congruence