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