Modularity prevents tails
  We establish a direct correspondence between two congruence poroperties for finite algebras. The first property is that minimal sets of type i omit tails. The second property is that congruence lattices omit pentagons of type i. 
Keith A. Kearnes (University of Arkansas), Emil W. Kiss   (E\H{o}tv\H{o}s University)