 In a footnote, Bell added that “Since the completion of this paper such a proof has been found” (1966: 452, fn. 19). He published it in his 1964 paper, “On the Einstein-Podolsky-Rosen Paradox”. In this paper he derives Bell’s inequality, the basis of his conclusion of quantum nonlocality. (See the entry on  Bell’s Theorem.  For a discussion of how nonlocality emerges in Bohmian mechanics, see  Section 13.)