 So CLP asks whether every distributive (∨,0)-semilattice is representable.Many investigations around this problem involve "diagrams" of semilattices or of algebras.A most useful folklore result about these is the following.