If Texas loses