∀      ∃   ) #       ∗                #   (    &    (  #                                  (                                    0                        +        ∀              −      #  , −                   #  /      !   % &   #      ∋ # #    #                 ∀  ∃     3 3 5  −##  62 3 //,      ∀ ∃ % ∋ ) ∗ , /   ∀                      !               #                         &    #         #     (       #                  +           −                      #        (  −  &      0    #   #                   #                      3 3 5         −##  62 3 //,