Even if no one hits 1237, a clear leader in delegates has to get the nomination- the leader in personal delegates, not delegates inherited from other candidates.
Cruz still has some chance of doing that. Though after the 15th he probably won’t, we’ll have to see.
A tough nut for Cruz is that he needs Kasich out, which will happen if Kasich loses Ohio. But if Trump wins Ohio Trump is pretty much uncatchable.
Will be an interesting night.
That’s not the rules though.