Existential check