Using only lower lemmas.