Major Bill huffs:
"Trump himself is using polls to argue that he has such a big lead in the primaries that nobody else should bother running against him."
Well, I'd consider 62% (Mr. Trump) v. 16% (Mr. DeSantis) to be kinda a "big lead" (from a poll posted here yesterday).
Is 4 to 1 big enough for you, sir?