Terafab semiconductor project could cost $5T – 70% of the US budget

just use military budget for that, it will be 7% instead of 70%