 This result has been improved further as follows, "via" a very long and technical proof, using forcing and Boolean-valued models.Theorem (Wehrung 2003).Every direct limit of a countable sequence of distributive "lattices" with zero and (∨,0)-homomorphisms is representable.