 of the prospective, presumptive nominee of that national party. That is the emotional backdrop for this Republican National Convention that, as you just mentioned, kicked off about an hour ago. There's a musical interlude going on here now inside the Fiserv Forum, which will house this Republican National Convention for the next four days in preparation for House Speaker Mike Johnson introducing Vicki Drummond, who is the secretary of this convention, who will go through the roll call of states.