 and mentioning about the Russian disinformation or any of this stuff, 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.