 I'm not inclined to bet, but if I were a betting man, I think it's looking very likely that it's going to be Senator J.D. Vance at this point, which is a very interesting development given some of the history of the senator. But we'll wait and see if that proves to be true. Obviously, others have been told that they were not going to get the nod. So we'll watch that as it plays out. But obviously, a lot of attention focused on Saturday's horrific crime spree, the assassination attempt.