nail down就是“钉好”之意。另外，丁的译文，把“佩氏的证明缺失关键细节”中的“缺失”(missing)一词漏掉了。

哥大网站的jereme说的好：如果汉密尔顿也学佩氏的样子，八年前宣布了non-collapsing，那么佩氏也就是在填细节("fill in detail")了。所以，区别在于汉氏诚实----承认自己没本事去填，而佩氏不诚实-----自己没本事填却躲起来耍赖。

佩氏早在曹朱文章发表前就已经躲起来了，曹朱文发表后，这赖子顺势就赖到曹朱头上。