So… what if Texas wins?