Congruence permutability in quasivarieties
arXiv:2512.09064
Abstract
It is shown that a natural notion of congruence permutability for quasivarieties already implies ``being a variety''. The result follows immediately from [3] and the sole aim of this note is to state it explicitly, together with a telegraphic proof.