3 ms·

Indeed. The real tax is not just what government spends, but also the deadweight loss of forced reallocation.