Added Lemma and Term Candidate