So much swamp here
Isn’t all of the govt under fers? Which is not a defined benefit plan. I know when I started with Uncle Sugar in the 80’s our retirement was 401k - not defined benefit.
Regardless - I’m all for cutting DC down to 1/20th of what it is now. Chainsaw time baby.