 We denote by FV(Ω) the free lattice on Ω in V, for any variety V of lattices.Theorem (Ploščica, Tůma, and Wehrung 1998).The semilattice Conc FV(Ω) does not satisfy WURP, for any set Ω of cardinality at least ℵ2 and any non-distributive variety V of lattices.