Instruct: what name has an appointed year of 2009 and years until mandatory retirement of 13 years?
Output: SELECT Name FROM table WHERE Year appointed = 2009 AND Years until mandatory retirement = 13 years