CREATE TABLE table_name_13 (constructor VARCHAR, driver VARCHAR)

What was Jenson Button's constructor?
SELECT constructor FROM table_name_13 WHERE driver = "jenson button"
SELECT "constructor" FROM "table_name_13" WHERE "driver" = "jenson button"