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