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