! ∀#   ∃   % &  ∋  (   ∋#       ) ∗   # ! +     −  #  ∃    %     #   !      ∃        # # !     &   / 0     ∀  345 64%        !     # # # !       +   # # ! −  ∋  ∀        #  ∃  %      ∋    ∃    ∃  , %   ∃    ∃      % %  ∃   %    ∗    3   ∃        )             ∃    % 8    #  ∃  &     !          :   ∋      %      ,  ∃   %  #   ∃  %              ∋  % % , #       ∃  %    &  )  +       0    ;