! ∀ # ∃ % & ∋ ! ( ) # ∗ + # # , ! # − ( /∃ # !! ! ∋ / ( ∀ ( % 1 2 ( − ! − 3− 45− !! 67 + ∀ % ∋ ) ∗ + , ∀ % ! 8 # ∃ : & ! ( ! # # # ! # ; ! # − ( − /∃ # !! ! 8 !! ! 1 ∋ / ( ∋ / ( 2 ( − ! 2 − 3− 45− !! 67 +