 The proof he [von Neumann] published …, though it was made much more convincing later on by Kochen and Specker (1967), still uses assumptions which, in my opinion, can quite reasonably be questioned. … In my opinion, the most convincing argument against the theory of hidden variables was presented by J.S. Bell (1964). (Wigner [1976] 1983: 291) 