 But, of course, it's hard to say what the moderators would have done. But that's about the only thing I can really criticize Mr. Trump for. And I wish he brought up the actual name. A number of people have been saying this.