∀     ∃       & ∋   (                # #       %       %     %            /                        #      #               #     %           %         ∗        %             5      %      %     040    %   )           3     ( + #    −      #            ∃  &   # %        #       ∀    %  !!                  #     #           %   , −     !    )                # ∗ +      %           # %    #                       /  % 1% /  67%  +  5  /  −−∗      ∀ ∃ & ( ) ∗ −                                                  !      8 %     # #         8 % %  #     #     ∋                 %       %                     #       +       %   ,     %   %  !! #                         #  /   8 % %        # #            ∀ ∃ & ( ) ∗ −       #          %                 #                  %    3           %        %      %     040 + #        %              # %       % %               #           /  % 1% /  67%  +  5  /  −−∗