⊥ ∀ Ǝ H
⊥ ∀ Ǝ H

⊥ ∀ Ǝ H