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