existential givens