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 _____.

grammar check
help feature
thesaurus
spell check