Find the names of instructors who didn't each any courses in any Spring semester.
return courses ;return #1 in any  Spring semester ;return instructors of #2 ;return instructors besides #3 ;return names of #4
['select', 'filter', 'project', 'discard', 'project']