Use new Existence<>