CREATE TABLE table_name_42 (score VARCHAR, player VARCHAR)

What was Lee Trevino's score?
SELECT score FROM table_name_42 WHERE player = "lee trevino"
SELECT "score" FROM "table_name_42" WHERE "lee trevino" = "player"