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