What are the ids of teachers who taught in the Spring?
select id from teaches where semester = 'Spring'
What are the ids of all other instructors?
select id from instructor where id not in (select id from teaches where semester = 'Spring')
What are the corresponding instructor names?
select name from instructor where id not in (select id from teaches where semester = 'Spring')