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