nostr:npub1p2k86wqzvdcwc6evlqvp5p8eav26mcv3j8m4sfmtayfgeaul6fysdnp9lh 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.