This semantics has the nice property that the pre-Hilbert space is complete (i.e., Hilbert) if and only if the propositions satisfy the orthomodular law, a result known as the Solèr theorem. Although much of the development of quantum logic has been motivated by the standard semantics, it is not the characterized by the latter; there are additional properties satisfied by that lattice that need not hold in quantum logic.