 Sean, let me ask you about him as a Republican. Obviously, there are shades of Republicans. And as I've talked about, even with President Trump, I'm a very conservative, the libertarian guy. I don't always agree on every last thing with him. He's very much a centrist populist, maybe leaning to the right. But in some issues, he's not as conservative as a libertarian as people, as some Republicans might think. But that all said, what kind of Republican is J.D. Vance? And