Uncertain Lifetime, Consumption, and Dissaving in Retirement | Synapse