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