question: What is the first names of the professors from the history department who do not teach a class.
#1 return professors 
#2 return departments of  #1 
#3 return #1 where #2 is  history 
#4 return #3 who  do not  teach a class 
#5 return first names of  #4