Text this: Orthomodular lattices :