Find the names of instructors who didn't each any courses in any Spring semester.
SELECT name FROM instructor WHERE id NOT IN (SELECT id FROM teaches WHERE semester  =  'Spring')
instructors who didn't teach any courses in any Spring semester refers to a NOT IN condition filtering out instructors with records in the teaches table for the Spring semester;