null congruence