∃⊥∀H
∃∧O┓