Using a heterogeneous-agent, life-cycle model of Social Security claiming, labor supply and saving, we consider the implications of lifespan inequality for Social Security reform. Quantitative experiments show that welfare is maximized when baseline benefits are independent of lifetime earnings,...