clarify the closure lemma a bit