Will be a riot at the ballot box for sure. I am NOT a Trump supporter (voted for someone else in GA primary) but if Trump is at 1,100+ much less over 1,237 and he’s denied the nomination: a) Trump would (and should) go 3rd party and b) I would not vote for whoever the GOP installed as the candidate and c) I would be done with the GOP.
All three.