 And in the middle of this, the convention is kicking off in Milwaukee, and J.D. Vance, the Ohio senator, has, according to CNN, they are ahead of Fox News. I'm looking at both of them as we speak and confirming that J.D. Vance is going to be the running mate. And the roll call here that is going on in Milwaukee is...