Trump will not get the 1237 so he will not win on the first ballot.
2nd ballot all delegates are uncommitted and Cruz will get the number he needs. If not on the 2nd ballot, the 3rd.
Mark it done, it will happen.
Theres a reason the establishments new motto is
BETTER TO LOSE WITH CRUZ.
Makes no sense as Trump is losing to both Bern/Hill by double digits.
A greater number of people despise more Trump than those who like him. The delegates know this and they know that he will likely lose.