use existential op