This paper proposes a method for the welfare analysis of pay-as-you-go social security systems. We derive a formula for the welfare consequences of a permanent marginal change in the payroll tax rate that is valid under weak assumptions about the deep structure of the economy. Our approach...