I never looked at it like that. Perhaps allowing folks to work after retirement age is a form of age discrimination to a certain reading. Social Security should be sufficient for everyone’s retirement. If it isn’t, that’s a separate issue, and is also effectively another form of age discrimination, promising a funded retirement and the other party not upholding their end of the bargain.