gr might

                      ∃ %      & ( ∃   )      ∗        %           !∀ # ,  +&  ∋    ∋    ∋  −    &  %   %  &   &   &                        # ∃ ∃     (  &  −   %  & ∃− ∃    /  &0   &  &   / 0 ∗  −  %   ,      &   / 0   &    3   / 0  &  %  %  %  % /     ∀  ∀ −    &  /   0 ∃       %  ∃ % &   /    %   ∃ %    &     %   /   #8 ## #(    ∀     ∀ &   ∃−        /   /       &  3   −       % /   0 ∀     &  &         &   / 0 #∗ ∀ & &    &    / 0 #, ∀  &       #2    %   ∀ %  & % / &0  /     0 #4 %%%        −    /   & :   ;<   1   (8#∗   # ∃ ∃     (  &  −   ∗  −  %   ,    %  & ∃− ∃ %         &  &    )       &       &     %    3   ∃ %        −    %   ∃ %    &     %      )       ∀ &         − )  −    &  %  %  %  %  &     %  ∃ % &   #8 ∀   ## #(    − )  −      &  3   −  % ∀ %    &  &     &   #∗ ∀ #, ∀   #2  #4     ∀  ∀ −   & &   &   ∃−       −  %%%         % %   ∀ %  &        &            9         −      & :   ;<   1   (8#∗