What are the names of instructors who didn't teach courses in the Spring?
SELECT name FROM instructor WHERE id NOT IN (SELECT id FROM teaches WHERE semester  =  'Spring')
names of instructors who didn't teach courses in the Spring refers to a subquery exclusion where instructors are not in the subset of those who taught in 'Spring' semester;