We give a combinatorial proof that congruence permutability is prime in the lattice of interpretability types of varieties. Thereby, we settle a 1984 conjecture of Garcia and Taylor.

翻译：我们给出了一组证据,证明一致性的可互换性在可解释性种类的宽度中是最重要的。 因此,我们解决了1984年加西亚和泰勒的猜测。