 then it's kind of hard to make an assertion that somebody who's only been a senator for two years is a politician because he's been a politician for two years. Now look, I'm not here to carry water for J.D. Vance one way or the other. I think he was a good pick. I think of the field that was out there, he was likely the best pick of anyone out there. He is eons better than anything Marco Rubio or Doug Burgum would have been brought to the ticket.