More generally, the hidden variable account of a given system becomes entirely different when we remember that it has undoubtedly interacted with numerous other systems in the past and that the total wave function will certainly not be factorable. The same effect complicates the hidden variable account of the theory of measurement, when it is desired to include part of the 'apparatus' in the system. Bohm of course was well aware of these features of his scheme, and has given them much attention. However, it must be stressed that, to the present writer's knowledge, there is no proof that any hidden variable account of quantum mechanics must have this extraordinary character. It would therefore be interesting, perhaps, to pursue some further 'impossibility proofs,' replacing the arbitrary axioms objected to above by some condition of locality, or of separability of distant systems.