Down sizing in the federal government is done by attrition. It's been done in the past. Employees were offered early retirements also. I worked in Baghdad with a guy that had been given a nice early retirement package by the gov, then they hired him over there as a "consultant" doing the same thing he was doing when he retired. The gov is great at looking good while they waste money.