What are the names of instructors who didn't teach?
SELECT name FROM instructor WHERE id NOT IN (SELECT id FROM teaches)
names of instructors who didn't teach refers to SELECT name FROM instructor WHERE id NOT IN (SELECT instructor_id FROM teaches);