Existential void after finishing Given