Correct. They want their "retire at 40" pensions.
My brother works in Fed law enforcement. He plans to retire at 50, with pension (!!!!!)