∧∅⇒⊗∃∅

⇒⊗ ⋆⊗⊗∧∅⇒⊗∃∅⊗⇒

⇒⊗⊕⊗⊗⊕

⊗∧∅⊗⊗∧⇒⊗ ⋆ ?

∅⊗⊕⊗⇒⊗⊕⊗⊗⊕⊗⇒⊗