(
(
,)
! ∀#
)
∗
∀&
%
&
+)
∗
∀
)∃
))
(
∗
∗
(
)
&∗
)
∀
(
∗
∗)
∀
(
∗
(
&
∗
∋
(
!∀#
+
%
)∀
∋
(
)∗
∃
! #(
∗)
∃∀
∃
(
∃∃
(
(
∃
∀∃
))
)
(
(
(
∀
)
∗∃
∃
(
∀
)
(
∀∗
)
(
∗
∀)
)∃
(
(
)∀
∀∗
(
∃∗
(
∗
∗
! #
∀
!∀###∃!%∀∃
