What if Texas goes blue?