Justification through Properties of Congruence