Talk:Pugh's closing lemma