start updating bootstrap lemmas