sentences:  Clearly formula_6 but also formula_5 is associative.If a subset formula_209 is closed under formula_6 and formula_5, then formula_212 is a distributive, cancellative skew lattice.To find such skew lattices in formula_202 one looks at bands in formula_202, especially the ones that are maximal with respect to some constraint.