If he doesn't, Ted Cruz should run