Ted Cruz was right