! ∀# ∃ % & ∋ ( ∋# ) ∗ # ! + − # ∃ % # ! ∃ # # ! & / 0 ∀ 345 64% ! # # # ! + # # ! − ∋ ∀ # ∃ % ∋ ∃ ∃ , % ∃ ∃ % % ∃ % ∗ 3 ∃ ) ∃ % 8 # ∃ & ! : ∋ % , ∃ % # ∃ % ∋ % % , # ∃ % & ) + 0 ;