what was the highest mountain before mt everest?
return mountains ;return mt everest ;return #1 besides  #2 ;return height of #3 ;return #3 where  #4 is highest
['select', 'select', 'discard', 'project', 'superlative']