!                    ∀         !  ∃       %               !          &        ∋    ∋ (   )∗) +                ,        − #                  ,   !   !         %  2       #!     /                                                         !    ! !       ,               3    %                     ,       , 4!  ! ∀   ∃ 6                                   %         ∀  ∃         ! 8!  9(!    6   ∀   ∀ ∃  + −  ∀ ∃               6                               !  #        !     #!        :      %                               !          &        ∋    ∋ (   )∗) #               ,        #        /         !    ! !            6      ,   !   !   #       %  2             ,                       3   %                         ,       , 4!  !                    6                   ! 8!  9(!    6   ∀