Jack is writing a paragraph for a school assignment. He proofreads his paper and notices that he used the word, "then" many times. To find a new word, Jack should use the _____.

Thesaurus
Spell check
Help feature
Grammar check