 Hence, for example, if Ω has at least ℵ2 elements, then Conc FV(Ω) is not isomorphic to the normal subgroup lattice of any group, or the submodule lattice of any module.The following recent theorem solves CLP.Theorem (Wehrung 2007).