! ∀#∃%&
∋(&()∗
+&∋,
+−+&.∗
−∋(−/
#∃%&
#∋(∋(,/∗&(