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')
İlkbaharda kurs öğretmeyen eğitmenlerin isimleri nelerdir?