what is the height of the highest mountain in texas
SELECT MAX ( DISTINCT highest_elevation ) FROM highlow WHERE state_name  =  "texas";
SELECT MAX ( DISTINCT highest_elevation ) FROM highlow WHERE state_name  =  "texas";
[{'MAX ( DISTINCT highest_elevation )': None}]