∀   !        ∋    #    (  ∗+   ∋ # !      ∃   &  )    ∃   %    & )    ∃  %  & ! )    ∃,  ∀   % % , &     −     ∃  %  &  / !          ∃  % &  /  )     ∃  %  &  ∋ ! /  1  &     ∃  %  &     ∃    + +   )   4  +   +   &    ∃  3    !   ∃  ∋+ %  %  %  &   )      ∃ % &  +                  2  5  67   84   110       2  5  67   84   110                                                    1   ∀     # #    ∃   % ∋     (  )      ∃   ∗+  !  )    ∃  %  & ∋  ! )  ,  ∃, % , & ∀     −    ∃  %  & / !          ∃  % /  )      ∃  %  & ∋ !     ∃  %  & /  ,    ∃  %  &    + +   )   & 3    !  ∃  %  & ∋+ +      )     ∃ %        & %    & &   ∃ % & 2  5  67   84   110