 Theorem (Tůma and Wehrung 2006).There exists a diagram "D" of finite Boolean (∨,0)-semilattices and (∨,0,1)-embeddings, indexed by a finite partially ordered set, that cannot be lifted, with respect to the Conc functor, by any diagram of lattices and lattice homomorphisms.In particular, this implies immediately that CLP has no "functorial" solution.