! ∀ # ∃ % & ∋ () ∗) ∗) (%∗ ∗) ∗) ∋ + + ,− /0 + #12 !∀ # ∃ % &# ∋ ∀ ( )!∀∗ + ∀ ∗ ∃,− −!! !∀ # ∃ % &# ∋ ∀ ( )!∀∗ + ∀ ∗ ∃,− −!! 4 %