More taxes are a result of earning more and not really from working more although they are usually related, so they still get compensated for that "extra" work.
Even the mythical 10x engineer is not really getting paid 10x more than their same level peers so no not really.
So this even furthers the argument. Why bother having 10x the output if you only see a smidge of that productivity as increased income?
A 10x difference between 2 L5 engineers in Mountain View is what I really meant.