We knew in August how this would end for Texas.