[gmac]

In this context, surely the whole point is that we could have taxed Musk’s wealth instead, so we have collectively paid whatever amount we didn’t tax him.