  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.
