An Analysis of Stapp's "A Bell-type theorem without hidden variables"
  H. P. Stapp has proposed a number of demonstrations of a Bell-type theorem which dispensed with an assumption of hidden variables, but relied only upon locality together with an assumption that experimenters can choose freely which of several incompatible observables to measure. In recent papers his strategy has centered upon counterfactual conditionals. Stapp's paper in American Journal of Physics, 2004, replies to objections raised against earlier expositions of this strategy and proposes a simplified demonstration. The new demonstration is criticized, several subtleties in the logic of counterfactuals are pointed out, and the proofs of J. S. Bell and his followers are advocated. 
Abner Shimony