gr there

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