Use existential operator