Conditions for the modularity of an orthomodular lattice.