Modifications of congruence permutability - Chajda Ivan (1989)