⊕ ≈ ∴ ∅ ∃