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