What are the ids of instructors who taught courses?
select id from teaches
What are the ids of all other instructors?
select id from instructor where id not in (select id from teaches)
What are their names?
select name from instructor where id not in (select id from teaches)