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