 The semilattice "G(Ω)" is not isomorphic to Conc "L" for any lattice "L", whenever the set Ω has at least ℵω+1 elements.Hence, the counterexample to CLP had been known for nearly ten years, it is just that nobody knew why it worked!All the results prior to the theorem above made use of some form of permutability of congruences.