Hate that it’s Ted Cruz, though.