 But Vance is much more aggressive in terms of actual domestic protection for manufacturers. Here's J.D. Vance talking about tariff policy just a couple of years ago. We haven't heard a lot of specifics. I mean, there's been ranges of a 10 percent to 60 percent tariffs. Do you know what the plan is?