Did policymakers in 1983 do a good job fixing Social Security?