 Bob, what's your take on this? Because a lot of the pundits are saying, okay, Donald Trump picked Donald Trump Jr., basically. He's kind of the second coming. He'll be the replacement, Donald Trump. Well, that is kind of true, if I'm to be intellectually honest. It surprised me a little bit. I didn't think he would go with a MAGA loyalist because it does, in fact—