 Well, absolutely. And just about an hour ago, by acclamation, they approved the ticket of Donald J. Trump and J.D. Vance, which we got a little bit of notice that he was going to be making that announcement today. I think I'm a little surprised, even though the breadcrumbs were all leading towards J.D. Vance. Sometimes when the breadcrumbs lead right towards somebody, that's not who it ends up being. So I think he'll be a good choice.