 This result is improved further, by an even far more complex construction, to "locally finite, sectionally complemented modular lattices" by Růžička in 2004 and 2006.Pudlák asked in 1985 whether his result above could be extended to the whole category of distributive (∨,0)-semilattices with (∨,0)-embeddings.The problem remained open until it was recently solved in the negative by Tůma and Wehrung.