 Well, Johnny, I mean, you talked about the ages of President Biden and President Trump. It'd be hard to find anybody older. I don't think there was a chance that they were going to have a running mate that was older than them. I think J.D. Vance is maybe late 30s, early 40s. But...