text:  That his microphone was turned on as he walked out because he said something. I forget what it was. It wasn't just a, you know, it was a courteous hello or something. And he waved to the crowd, which wasn't there. Maybe he was just waving to the camera people. I have no idea. Or Americans who are watching via television. And then former President Trump walked out. I really thought that they were going to shake hands. But these two people really don't like each other. Really don't like each other.