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