!                 !                                         !                          !                             !   ∀                   ∀                         #             !          #                                              !        !         #                   !         !       #     #        #  ∃  #     %                 #  !       !          #              #  !                               ∃        #               !             ∀