Clean up lemmas