! ∀ # ∃ # %& ∀ &# ∀ # ∃ # ∋ ∋ ( ) ∗ % # ∃ % ∀+ ∀ % ( # ∃∗ % # ∀ ∀ % ∀ % & ,% % ∀ &% ∃ % % ( ∀% % ∃ &−% #∃ ∀ ∀ ) & ∃ + % ) ) # % ∀ ∀ % &∀ ( ∀ , ∀ )%/ 0∀ # ∃ ∋ #∃ 1 2 % )%#1 ∃ & ∃ # % %#1 # ∃ # % 3 ( , ∀ 4 %#1 5# 56 )%/ 0∀ # 5)%/ 0∀ 56 ∋ #∃ 1 %#1 5∋ 56 ∃ 4 %#1 2 %4 %#1 4%% %6 %#1 # %#1 ( & # & %#1 5∀ 5 %#1 5)%/ 0∀ 5 8 %#1 ∃ # % & # % %#1 3 ( , ∀ 45∀ 5 # # % # 9 0 6 )%/ 0∀ # ∃ 45 5 ∀ 9 0 # # % 6 ∋ #∃ 1 2 %451 9 0 # # % 6 5 # # # ∀ # % # % : #% −% #3 ( ∃ % ∃ ∀ ∗ 5 %5 5 % ∃ ∀ 5 ∋ ∀ # &#% ) # ∀# 3 ( & ∋ # % #5 5 &#% # + ;∗#∃ % #5# 5 & #% # #4 6 ∀% # ∀ 3 ( ∗!