 Well, I think one of two things are going to happen. Either Governor Burgum is going to be the VP nominee with Trump, he's going to be Trump's running mate, or he's going to play an outsized role in a Trump cabinet if Trump wins. I have a huge say over domestic policy. I'm not sure what that looks like. Is that the Department of Commerce, of Interior? Is it in the White House itself? Could Burgum land in the West Wing? Not clear to me. I think he's still very much in the running to be VP, though. And...