What are the names of instructors who didn't teach courses in the Spring?
return instructors ;return #1 who  teach courses in the  Spring ;return #1 besides  #2 ;return names of  #3
['select', 'filter', 'discard', 'project']