We study interactions between progressive labor taxation and social security reform. Increasing longevity puts fiscal strain that necessitates social security reform. The current social security is redistributive, thus providing (at least partial) insurance against idiosyncratic income shocks, but at the expense of labor supply distortions. A reform that links pensions to individual incomes reduces distortions associated with social security contributions but incurs insurance loss. We show that the progressive labor tax can partially substitute for the redistribution in social security, thus reducing the insurance loss.