Step 1 should be to ABOLISH ALL FEDERAL RETIREMENT PROGRAMS... They are not SPECIAL, they can have Social Security just like everyone else.
Typical on this site who don’t know anything about Federal employment.. If you are a Federal employee hired after 1983, you are on Social Security and on a 401k plan. I