It hasn’t been over for Cruz since mid-March. On the contrary, he cobbled together enough delegates to eat significantly into Trump’s lead and to significantly reduce Trump’s chances of making it to 1237. I am NOT saying Cruz is going to get to 1237 or that he is beating Trump or any nonsense like that. But numerically, he has accomplished enough to make a strong play for a contested convention where his chances will be much better than where he is now. I know there is good reason to expect the GOPe to throw up every obstacle in front of Cruz just as much as Trump, but I think between the two of them, the party is not going to be able to stop one of them from getting the nomination.
This is not an anti-Trump rant or a Cruz sellout post. I’m just offering discussion on the point you made.
Cruz won’t be winning 1,237 before the convention. Cruz is about to be on the verge elimination on April 19th, and for sure he will be eliminated from getting 1,237 on April 26th. Cruz plays his silly games in an attempt to stop Trump from getting 1,237 by convention time. It will not be Cruz who wrangles the Republican nomination.