congruently

not defined yet