@0aac7d38 and their pensions should be drastically reduced.  They should be defined contribution plans, rather than defined benefit plans.  They can have a 401k like they shoved onto everyone else.