more intLangExtra, prove Cevaluate_closed