A modification of Polin's variety (Q5932480)

The authors construct a variety \(\mathcal V\) which consists of algebras created by replacing the elements of an (external) Boolean algebra by a family of distributive lattices having a largest element. They prove that \(\mathcal V\) is a locally finite variety which satisfies a simple congruence identity in three variables. Moreover, \(\mathcal V\) omits types 1 and 5 and contains a finite algebra which has a type 4 minimal set with a nonempty tail.