delete unused lemmas, start from scratch