3, 443--551.), junto con otro artículo escrito en colaboración con Taylor en el cual detallaba las técnicas que permiten resolver el fallo de la primera demostración.