 In a paper (Bell 1966) that was written before the one in which Bell’s theorem first appeared, but, due to an editorial mishap, was published later, Bell raises the question of the viability of a hidden-variables theory that reproduces the statistical predictions of quantum mechanics via averaging over better defined states that uniquely determine the result of any experiment that could be performed. In this paper he examines several theorems that had been presented as no-go theorems for theories of this sort, and supplements them with one of his own, a theorem that was independently formulated by Specker (1960), and published by Kochen and Specker (1967), and has come to be known as the Kochen-Specker Theorem or Bell-Kochen Specker Theorem (see  entry on the Kochen-Specker Theorem  for more details). In each case Bell argues that the proof contains premises that are physically unwarranted.