So Texas ATM is an enemy of the state