∃∀ Existence for All