Find the name of instructors who didn't teach any courses?
select name from instructor where id not in (select id from teaches)