!   ∀         #∃           #       %   &  ∋ %  #   ! (    %          ) ∀       ∗    ! %        )       #  &                  ∀   #          !  ∗   + ,     1   +   ∋  ### ∋ ∃ !###− ∋  ∀ /01  23−     !   ∃  ∀   ∀  4  ∃ !###   − )  ∀ ### − , ∀ !  ∀    # + &       )+  6         9:          #  8 !   )     6    1 ∗    #   !   ) #  (:  &           ∀   ∃) )   !    0∀         ,      ;     <        !!!#  + ∋   ∀  ∀ ∋ =1 ∀ 6 , 2 ∋ 9:(9