Modularity prevents tails
Keith A. Kearnes, Emil W. Kiss · Proceedings of the American Mathematical Society · 1999
We establish a direct correspondence between two congruence properties for finite algebras. The first property is that minimal sets of type $\mathbf {i}$ have empty tails. The second property is that congruence lattices omit pentagons of type $\mathbf {i}$.