If Cruz has ~ 80+ % as many delegates as Trump, I would consider him.
If he is 500 behind, forget about it.
If Cruz is 500 behind then that means Trump would probably have the 1237 he needs. At least I would think.