  In a previous paper [arXiv:quant-ph/9906007] Hayden and I proved, using the
Heisenberg picture, that quantum physics satisfies Einstein's criterion of
locality. Wallace and Timpson have argued that certain transformations of the
Heisenberg- picture description of a quantum system must be regarded as leaving
invariant the factual situation being described, and that taking this into
account reveals that Einstein's criterion is violated after all. Here I
vindicate the proof and explain some misconceptions that have led to this and
other criticisms of it.
