Now new lemma needs to be logged