For those who don’t know who Ted Cruz is...