what is the congruence correspondence?​