Just a reminder on this primary day that if Donald Trump is not the GOP nominee, Ted Cruz will be.