By counting only a workers 35 highest-earning years, the Social Security benefit formula aids a number of unintended groups and creates work distortions. To address these issues, the formula should count all years, and the rate structure could be adjusted to achieve any desired level of progressivity.