wip hacking on bootstrap_lemmasScript.sml