 kind of says we're being overtaxed, aren't we? If they can spend this much money. A little bit. Now, most of these companies, most of these companies are domestic companies, but the top three, I think, let's see, you've got Taiwan, you've got Samsung, and I don't remember the number one. But the vast majority of these billions of dollars are going to companies that are not American companies.