nail down就是“釘好”之意。另外，丁的譯文，把“佩氏的證明缺失關鍵細節”中的“缺失”(missing)一詞漏掉了。

哥大網站的jereme說的好：如果漢密爾頓也學佩氏的樣子，八年前宣布了non-collapsing，那麼佩氏也就是在填細節("fill in detail")了。所以，區別在於漢氏誠實----承認自己沒本事去填，而佩氏不誠實-----自己沒本事填卻躲起來耍賴。

佩氏早在曹朱文章發表前就已經躲起來了，曹朱文發表後，這賴子順勢就賴到曹朱頭上。