Intersection and Congruence