Database: geo
Question: what is the highest mountain in texas
SQL:
SELECT highest_point FROM highlow WHERE state_name  =  "texas";