Before revision:  Compared with classical Epstein-Zin utility maximization, the additional controlled mortality processcomplicates the uniqueness of Epstein-Zin utilities and verification arguments. A combination of probabilistic arguments and analysis of the HJB equation are required to resolve the challenges .
After revision:  The verification argument features a delicate containment of the growth of the controlled morality process, which is unique to our framework, relying on a combination of probabilistic arguments and analysis of the HJB equation are required to resolve the challenges .