Congruence analysis