How many teachers are there?
select count ( name ) from instructor where id in ( select id from teaches )
How many teachers didn't teach at all?
select count ( name ) 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 )