Yes. Although maybe it's worth adding that what was disproved is local hidden variables. The not-disproved hidden variable ideas must have explicit instantaneou

Yes. Although maybe it's worth adding that what was disproved is local hidden variables. The not-disproved hidden variable ideas must have explicit instantaneous action at large distances, i.e. faster-than-light communication among the hidden variables. And that is a pretty ugly thing to have; before Bell (and Aspect, maybe) one could hope that this would not be necessary.