bit more bootstrap lemmas prelims