with lemma and TF