Below is the list of tables from the database along with their columns and datatype. Need to generate an accurate SQL query for the question.
Only use the columns present in the respective table. Only use the columns which are required to generate the SQL query. Only use table joins if required and not otherwise.

### Tables ###
TABLE: CREATE TABLE table_name_40 (name VARCHAR, year_appointed VARCHAR, years_until_mandatory_retirement VARCHAR)

### Question ###
what name has an appointed year of 2009 and years until mandatory retirement of 13 years?

### Accurate SQL ###

SELECT name FROM table_name_40 WHERE year_appointed = 2009 AND years_until_mandatory_retirement = "13 years"