 Really, that was the odds maker's pick. I mean, I guess it wasn't a surprise because it was being forecasted. I mean, not to bring up Las Vegas, the odds makers on everything. They had J.D. Vance by the most likely. So it was not Rubio or Doug Burgum or Sarah Huckabee Sanders or anyone else. J.D. Vance. And it's interesting, youngest selection since Teddy Roosevelt.