removing lemmas