∀
#∃
%
% &%
∋
%
+
1
)
#∃
%
#
2
5
7
!
() ∋
∗ %
%
∃∗
)
∋)∃
−. / ∗
0
,
∃ ) )∃
∋∋
%
% 3
∃∗
)
%
4
∗) ∋
%∃ 4 # 5
% %
∃∃
%) 5
∗
6
∋
%∃ 4 # ∋
#
% %
4 ∋
6 6
∀
. ∗
5%
+
. 8 %∃
1
)
# ∗9
)∃%∗ 5
2
%4 8
:
;
<
=
>
%
5 %
∃ 5
6 ∗
% )% %6 ) %
%
∋ ∃
∋%
5
∋
∗
8
5 . 8 (
∃ ∃
∗ 5 8 ∃
∗
∋ ∃∗
%
)∃%
% )
∃
∃∗ ∃%( % #
∀∀
%
4
∀+
) ∋
5
%
5
∃∃ #
7
∗
% %∗# ∗
4
∗
)%)
5
9
% ≅
%
# %
∃8 5
∗
8 5%
∀?
! 5 ∋%
%
%
∋ ∋#
% %∗
∋
6 5
%
∃
(%∋)∃ ∗