lemma_name bug