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