Justification of Congruence