utilized existential operator