Task: Text to Code
Input (English): SQL: SELECT name FROM instructor EXCEPT SELECT name FROM instructor
Feedback: make sure they are teaching in Spring course id in step 2.
Output (English): SELECT name FROM instructor WHERE id NOT IN (SELECT id FROM teaches WHERE semester  =  'Spring')