Task: Text to Code
Input (English): Find the names of instructors who didn't each any courses in any Spring semester.
Output (English): SELECT name FROM instructor WHERE id NOT IN (SELECT id FROM teaches WHERE semester  =  'Spring')