 Doug Burgum and Marco Rubio, three very, very smart people. You're right about that. But there are others. I mean, we don't know. I don't think from my conversations, I don't think the president's made up his mind yet. And he said on radio yesterday, he says, wait, we're going to wait for the announcement Monday or Tuesday.