 I haven't either, but I'm just looking out over the landscape. This is a guy who hasn't run before and gotten beat, and he doesn't have a $100 billion budget deficit like Newsom does, and he didn't behave like an outright Nazi like Whitmer did during COVID. So I think he's a pretty logical choice, and I kind of expect people to start talking about him pretty soon.