def existential