What are the first names of all history professors who do not teach?
return history professors ;return #1 that do teach ;return #1 besides  #2 ;return first names of #3
['select', 'filter', 'discard', 'project']