So if global healthcare is $8-10 trillion/year, and US Medicare-for-all would be $3 trillion/year, then US Medicare-for-all would still be insanely expensive compared to the rest of the world.