In the presence of uncertain lifetimes, social security has the characteristics of an annuity: a consumer pays a tax when young in exchange for receiving a social security benefit if he survives to be old. If consumers have identical ex ante mortality probabilities, then a fully funded social...