Why would this offer any threat to the no-local-HVM proofs by Bell?