text: Below is an context that describes a sql query, paired with an question that provides further information. Write an answer that appropriately completes the request.  # noqa: E501
  ### Context:
  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?
  ### Answer:
  SELECT name FROM table_name_40 WHERE year_appointed = 2009 AND years_until_mandatory_retirement = "13 years"