 And as the band plays here at the Fiserv Forum in Milwaukee at the Republican National Convention, just remind you of our schedule, our coverage here. We are going to stick with this until the afternoon session is gaveled out. Immediately following that, Washington Today, live here on C-SPAN Radio, will wrap everything up, including the announcement and expected nomination of Ohio Senator J.D. Vance to be Donald Trump's running mate.