cleanup old forgotten lemmas