Existential state

Summary