remove some commented out stuff in bootstrap_lemmas
delete erroneous parenthesis