Question: What are the names of instructors who didn't teach courses in the Spring?
SQL: SELECT name FROM instructor WHERE id NOT IN (SELECT id FROM teaches WHERE semester  =  'Spring')