Whatever. He's eliminated literally all other Republican candidates from the race, which is the point.

Decades ago, my best friend's mother was a wise old teacher who famously said, "A difference that makes no difference isn't much of a difference." ;)

Whatever. Since he's eliminated literally all other Republican candidates from the race, it's not clear what the real point is. I'm not sure it's an important one worth the quibble.