 And already the Biden campaign is ripping the J.D. Vance choice with statements, etc. We'll hear from President Biden, I'm sure, on that today. But right now, former President Trump is in the position where he's in the lead.