more updates to bootstrap_lemmas