! ∀ %          #∃  & ∋  ∀(  #   )  # ∀ ∗    )  #+   )  ,)     − ∋   ∃ ./012 ∃    ,∗ 2 1   #  )1 +  )13+14   0  #      #  #           )   # ∀      5            #       (.6 #∋ #    # ∋   − ∋        )  0  # 3 0   & ∋  ∀   #.  ∀   ∀  ∀    1     ∋    1    ∋ #  7  8∀       ∀ # # ∀ ∋ 9 #    #      0  # 3 0     9 : :   #     ;  ∋      ∀ 1        <   (        # ∀#  ##  ;    >    ; ∋   1         ∋    =  #            # ∀   ;   ∋   ∋     1  ∋     = ∋