The budget deal considers $6B that the census didn't spend a cut now. Wouldn't have been spend regardless, but... whatever.