Paradigm analysis uses lemmas.