 John Bell replaced the “arbitrary axioms” (Bell 1966, reprinted 1987c: 11) of Kochen-Specker and others by an assumption of locality, of no action-at-a-distance. It would be hard to argue against the reasonableness of such an assumption, even if one were so bold as to doubt its inevitability. Bell showed that any hidden-variables formulation of quantum mechanics must be nonlocal, as, indeed, Bohmian mechanics is. But he showed much much more. (For more detail on Bell’s locality assumption, see Goldstein et al. 2011 and Norsen 2011.) 