∀ #                    !       ∃    % #         #     & #  ∋   (       (        ) #         ∗ +   (    ( ∋   ,    −    (   /   0   ∋      ∋   ∋       ∀ ∃ !    & +    2 (   (              ! ∋     # 2   ) # ∋   3 ( 2 (     ∗ # 2              %    ∋   #  ∋ #2    ∋       ,  4             ( ∋ 5  ( ∋ !   ∋  − #          (                   ∀  %  &        ( (  84 ( ∃     ∀00    ∀ % & ) ∗ , − / 0  ∀ % & ) ∗ , −         ! #      ∃    #         #     #  ∋  (       (        #        +  (    ( ∋        (   !  ∋        ∋   ∋                  ∃           !    ∋    ( ∋     +   2 (    # 2     ∋    ( ∋ # ∋   3 ( 2 (        ! # 2    #  ∋ #2    ( ∋   ∋  4              #        (           ( (  84 ( ∃     ∀00