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

−&

.(/∃0/∃∃+∃)
)∃∃&∋∃+∃∃&∃&/+1
&/∗+,∃&∃&23
&∃2//∃)+,)∃∃∃
∃&&%&&3∃
//&)∃∃&/∃)∃∃
+∃∃/∃)∃&∃)
+∃/#/0∃&0&
∃∃+

,

%&/∃

∃%&