We construct a tractable discrete-time overlapping generations model of a closed economy and use it to study government redistribution of accidental bequests and private annuities in general equilibrium. Individuals face longevity risk as there is a positive probability of passing away before...