What is Existential Abstraction?