Use the existential operator