completed lemma conversion