prove all but one cheat in exhLangProofScript.sml