Text this: Varieties of distributive lattices with unary operations .1.