Not all of those are discretionary spending? Maybe not equivalent to include, for example, Social Security.