In this tribute to Henry P. Stapp, I outline the historical development of the problem of non-locality in quantum mechanics starting from the EPR argument through Bell’s theorem up to Stapp’s own contributions. My focus is on Stapp’s 1997 proof of quantum non-locality that uses the logic of counterfactuals. On the basis of my own version of the proof presented in 2010, I give its informal analysis, emphasizing the role of Einstein’s criterion of reality in the derivation. I conclude that the proof achieves its objective, and I briefly point at its significance for the philosophical mind-body problem.