If Texas wins coin toss…