The CBO told us that the President’s pay raise for federal workers will cost $11 billion over ten years
