Result of ⊓
+
-rule
2.
Apply ∃
-
-rule