Pugh's_closing_lemma loading ...