Existential Abstraction