 So we heard Finn, we heard from the Ohio delegation, not only the delegate votes for former President Trump, formulaic, and then the call, and J.D. Vance. It's part of the electric moment here. The delegates on that floor are getting the information, and they just heard it called out, sort of officially, sort of semi-officially. It's an exciting moment.