Added lemma feature; It's not working yet though