Congruence and encompassing