I'm sure it would be much easier to solve with extra $10 trillion a year, which is pocket money compared to what goes into adtech, sloptech, attacking Iran and similar endeavors.