Existence as Exhaustion