couple more lemmas towards evaluate_closed