"congruence permutability" . . . "congruence permutability" .