#                          ∃% ∋  ( & )    ! ! &   ∋   ∋%      ∗ +,   ∋     −   ∋       /   0 %    )  ∃     ∋  !1  % (    %% ∗    %      ∋     ∋  %     ∋       % ∋       %        ∋        !  4     2    )     ∀  %  & #      %        %   31          ∀      ∋ 5%  ∋          ∀     6   6 7+  2∋∋ 84 6 0     ∀ # ( ∗ − / 0    ∀ # ( ∗                  !     !     ∃% &        % ∋  & )    ∋   ∋%    +,   ∋          ∋           ∋          %  ∋  %  ∋  !1  )   %   ∃   2    )      ∋  31   %   %  &    % ∋          %       %%  ∋        !   ∋     6   6 7+  2∋∋ 84 6 0