Existential Theory