little bit more progress on bootstrap_lemmasScript.sml