Existential Program Manual