I am correct. Mandatory spending on Social Security and Medicare come out of specific taxes (FICA). When it comes to federal income taxes, half of it goes to the military. As your numbers said, discretionary spending is around $1.2 trillion. Our military budget is set to surpass $700 billion.