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')