Once Cruz can’t get to that number he is eliminated.
There are more than two candidates. It could be that none of them get to that number. Are they all eliminated?
Cruz can't reach 1237 only when somebody else reaches 1237.