Task: Text to Code
Input (English): What are the names of instructors who didn't teach?
Output (English): SELECT name FROM instructor WHERE id NOT IN (SELECT id FROM teaches)