∀ ⊥ ∩ O