The argument of Einstein, Podolsky, and Rosen is reviewed with attention to logical structure and character of assumptions. Bohr's reply is discussed. Bell's contribution is formulated without use of hidden variables, and efforts to equate hidden variables to realism are critically examined. An alternative derivation of nonlocality that makes no use of hidden variables, microrealism, counterfactual definiteness, or any other assumption alien to orthodox quantum thinking is described in detail, with particular attention to the quartet or broken-square question.

Clifton, Butterfield, and Redhead [1989] have constructed two separate arguments that bear some resemblances to a proof of mine pertaining to the nonlocal character of quantum theory. Their arguments have flaws, which they point out. I explicate my proof by explaining in detail both how it differs logically from the two arguments they have constructed, and how it avoids the pitfalls of both. *This work was supported by the Director, Office of Energy Research, Office of High Energy and Nuclear Physics, (...) Division of High Energy Physics of the U. S. Department of Energy under Contract DE-ACO3-76SF00098. (shrink)