Yes, Ted Cruz for Texas