existential theories