!
∀
# ∃ #
%&
∀ &#
∀
# ∃
# ∋
∋ ( )
∗
%
# ∃
%
∀+ ∀ %
(
# ∃∗
%
# ∀ ∀
%
∀
% &
,%
%
∀
&%
∃ %
%
(
∀%
%
∃
&−%
#∃
∀
∀
) &
∃
+ %
.
)
)
# %
∀
∀
%
&∀ (
∀
, ∀
)%/ 0∀
# ∃
∋
#∃
1 2
%
)%#1
∃
& ∃
# %
%#1
# ∃
# %
3 (
, ∀ 4
%#1
5# 56
7
)%/ 0∀
#
5)%/ 0∀
56
∋
#∃
1
%#1
5∋
56
∃
4
%#1
2
%4
%#1
4%% %6
%#1
#
%#1
3 ( &
# &
%#1
5∀
5
%#1
5)%/ 0∀
5
8
%#1
∃ # %
&
# %
%#1
3
(
, ∀ 45∀ 5
# # %
# 9
0
6
)%/ 0∀
# ∃
45 5
∀
9
0
# # %
6
∋
#∃
1 2
%451
9
0
# # %
6
5
# #
#
∀
# %
# %
:
#%
−% #3 (
∃ %
∃ ∀
∗
5 %5
5 %
∃
∀ 5
∋
∀
#
&#%
)
#
∀# 3 ( &
∋
#
%
#5 5
&#%
#
+ ;∗#∃
%
#5# 5
&
#%
#
#4
6
∀%
# ∀
3 (
∗! <==+ ∀%%
<==+ ∀% %
<==+ ∀%%
.8
%
#
&
% >
# %
%#1
)
9
?
%
%
% ∀
#
%
&%% ∀%
∀
4
∀
(
63 (
&#%
%
∃
!
5
55
%
∃5
∀%
# ∀ 5
5
%&#%
∀%
∀
% ∀
#
) %
)% %
3 (
&#%
%
∃
%
≅
Α≅
%
∃Α 1 5#%
5
9
#
%
+
%&
∀
&
&(
Β
%
4
%
6
%
∃
4
%
6
<
%
∀
#%
#
& ∃#% )%
%
3 (
#
−%
#%
≅ # −%
Α
%
&
∀ %≅,%
Α
%
∀
%#
% 5#%5 %
#∀
∀%
%
4
1%
∀
6
∗! <==+ &
%
∃
<==+
%
∃
<==+ &
%
∃
Χ
7 <#1
∀
&
∀
#3 ( &
#
#&
∀
&5#5 #
∀
#1
∀
#
∃
∀
#
#1
#1
&
#1
3 (
∋
#1
5
5
#1
555>
5
∀
&
55
<
#1
#1
%%
∀
#
#1
∃
−%
# %
#
≅
Α
∆ 5
&5
#1
≅
Α
#1
∀
∆ 5&5
) #
∀
∃
#1
&&
& &#% &
:
# &
#
#<
# #1
∃ ∀
#Ε# #Ε %
1
∀
#
∗∀
5
5 1
&
∗∀
5
5
%
%&
0
3 (
4
1
9
∀5 56
% #∃ 4
%9
∀5#56
∗
∆4
∀5 56
%9