Local hidden variable theories are ruled out by Bell's Theorem. Not hidden variable theories in general. I realise GP was describing a local HVT, but it's still

Local hidden variable theories are ruled out by Bell's Theorem. Not hidden variable theories in general. I realise GP was describing a local HVT, but it's still an important distinction.