 So, yeah, he's not here, but he's clearly watching them, the former president. He's keeping an eye on it. Taking the stage now, Jared, Mayor Eric Johnson. Of Dallas. Of Dallas, who was a Democrat. And I think it was in the fall of last year he announced in a video that he was 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,