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