And they they exempted themselves from paying 10% more towards their pensions that they prosed for all other federal workers.