About violation of Bell ineqalities (and the Loch Ness monster) Assuming no loophole experiments can be done... even then I am not sure of what this would mean beyond the fact that QM's prediction on correlation work fine (and where is the surprise there?). I know that assuming some statistical properties of yet to be proven valid Hidden Variables (HVs) theories, one could replace what cannot be measured by what is measured (no measure of hidden variable can be done, and not much is gained when replacing HVs by realism as Wigner did). But let's be serious: HVs are probably as likely to be relevant as the Loch Ness monster (same thing for naive realism, i.e. realism that does not tae account of the Uncertainty Principle). Assume that a theory shows that if you put a goat and a goat that has seen the Loch Ness monster on some small boat, that boat will immediately sink. Prosper Youyou shows experimentally that a goat weights less than half the weight that can be carried by the small boat. Then Prosper claims that he has experimentally disproved the Loch Nees and goat theory. Is Prosper entitled to that claim, or has Propser only proved a well-established fact about goats? Bell's historical paper starts with a strong opinion on the EPR paper that contradicts Einstein's own expressed views: that QM is non-local. This paper of Bell paper then shows that any (naive) HV theory where HVs have the same statistics that QM would also need to be non-local. The strong claim is the one about QM since no one has ever validated HVs. The proofs about HVs can ONLY be theoretical as long as no one has experimentally shown HV theories to make sense (of course, that experimental proof could be simultaneous with the proof that Bell's Inequalities are violated). But till otherwise proved, Bell's Inequalities are about very hypothetical entities and no experimental proof of their range of validity makes sense.