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