CREATE TABLE table_name_13 (constructor VARCHAR(255), driver VARCHAR(255))
What was Jenson Button's constructor?
    
SQL: SELECT constructor FROM table_name_13 WHERE driver = "jenson button"