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