Calling it '4 trillion' is technically correct but I find that taking out the passthru social programs (SS, medicare, medicaid) leaves you with the real number of what's available to allocate differently. Hard to say that we could pay for something out of SS benefits while still collecting FICA tax, and if you want to eliminate the program entirely that's a different discussion.