A structural life-cycle retirement model with an improved specification over previous models is used to analyze and compare the long-run labor supply effects of the rules for Social Security in place in 1972,1977 and 1983, and for an actuarially fair system. The effects of separate provisions...