What are the names of instructors who didn't teach?
select name from instructor where id not in (select id from teaches)