Lemmas cleaned and placed in appropriately named files.