 changing parties. He was switching parties to become a Republican. And I want to share this with you. I found this interesting from our Fox 4 affiliate in Dallas, who writes that the Republican Party widely embraced the mayor after he made the switch. And he is now the head of the newly formed Republican Mayors Association, which I did not even know existed. Well, it's newly formed. It is newly formed. We'll listen to a little bit of Mayor Johnson. Support for our police department and prioritize violent crime reduction.