OU -3.5 v Texas ?