existential theory