 And then finally, immigration as well. That's also a fairly substantial disagreement between the two, and that has strong economic consequences as well. I think on a trade perspective, they're probably closer together than many people think in terms of a willingness to impose tariffs and work in that way.