Senator Ted Cruz, State of Texas