Where congruence meets results.