Provided Lexicon: