Though the federal workforce actually grew between 2009 and 2011, it's now shrinking at the fastest rate since the 1950s, as my colleague Derek Thompson has written.
Government payrolls increased by at least a full percentage point during the thirty months after each of the last major recessions, while Republican presidents presided over the economy.