Existential Extensions
