text:  and mentioning about the Russian disinformation or any of this stuff, it's just by on occasion calling him Pinocchio. If he somehow got wind of this nickname a day in advance, I think it would be hilarious. I don't know how you feel about that. I think it's very smart and creative. I kind of like it. I don't know. Hopefully President Trump's listening to the show. If he does say it, you're going to get all the credit for it. How's that? We'll see what he does.