I don't have the number of federal employees at the beginning of Bush's term versus the number currently on the payroll handy. Maybe you do. Are you telling me it's gone down? If so, how about pointing out where the reductions are and the net change in overall federal government employment?