SCHEMA:
CREATE TABLE table_name_40 (name VARCHAR, year_appointed VARCHAR, years_until_mandatory_retirement VARCHAR)
User Question:
what name has an appointed year of 2009 and years until mandatory retirement of 13 years?


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