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