Sadly Trump will win the nomination and Cruz won’t.
Hardly matters, because Cruz would not prevail in November either...
Maybe none of the Pubs can...
Cruz would fare far better than trump