prove cheat in printingScript.sml