∧∅⇒⊗∃∅
⊗ ⋆⊗⊗∧∅⇒⊗∃∅⊗⇒⋆⊗⋆⇒∅∧⊗∃∅ ⇒⋆⇒∅⋆⊗⇒⋆⇒∅⋆⊗⊕∃⋆⇒⋆⊗⊗∧∅⇒⊕∃⋆⇒⋆⊗⊗∧∅⇒⊗ ⋆⊗⊗⊗⇒⋆⊗⋆⇒∅∧⊗∃∅∧∅⇒⊗∃∅
∅⊗⊕⊗⇒⊗⊕⊗⊗⊕⊗⇒⊗
⊕⊗⇒⊗⊕⊗⋆⇒∅⇒⊗∧∅⊗⊕⊗⇒⊗⊕⊗⋆⇒∅⇒⊗∧∅⊗⊗∧⊗⊕⊗⇒∃⋆⊗∃⋆⇒⊗∃∅⊗ ∃⋆⊗∃⋆⇒⊗∃∅⊗⊕⊗⇒.*
*⊗⊕⊗⇒∃⋆⊗∃⇒∅⇒⊗∧∅⊗⊕⊗⇒⊗⊕⊗⋆⇒∅⇒
⊗ ⋆⊗⊗∧∅⇒⊗∃∅⊗⇒⋆⊗⋆⇒∅∧⊗∃∅ ⇒⋆⇒∅⋆⊗⇒⋆⇒∅⋆⊗⊕∃⋆⇒⋆⊗⊗∧∅⇒⊕∃⋆⇒⋆⊗⊗∧∅⇒⊗ ⋆⊗⊗⊗⇒⋆⊗⋆⇒∅∧⊗∃∅∧∅⇒⊗∃∅
*⊗⊕⊗⇒∃⋆⊗∃⇒∅⇒⊗∧∅⊗⊕⊗⇒⊗⊕⊗⋆⇒∅⇒