Covering lemmas