lemmas in the output