More generally, propositional valuation has unusual properties in quantum logic. An orthocomplemented lattice admitting a total lattice homomorphism to {⊥,⊤} must be Boolean. A standard workaround is to study maximal partial homomorphisms q with a filtering property: