Definition of TEXAS.