Finish first draft of lemma.