 So even knowing your tax burden in this country is very difficult. And, of course, when the total tax burden just at the federal level clocks in at 23%, 24% of the entire gross domestic product, that brings a whole litany of problems and many economic distortions that come out of that as well. So it's very opaque, and it's difficult to identify the real effects of what taxation has done and how it has increased the power of the government over the last 100 years.