Dowód twierdzenia Bella sprowadza się do wyprowadzenia którejś z nierówności Bella. W ich standardowych wyprowadzeniach jednak kluczową rolę odgrywa warunek faktoryzowalności łącznego prawdopodobieństwa warunkowego, który można uzyskać jako konsekwencję dwóch innych warunków, znanych jako parameter independence i outcome independence. Pierwszy z nich jest dość oczywistym wyrazem warunku lokalności, natomiast drugi budzi wątpliwości. Ponieważ jednak jest on uszczegółowieniem warunku screening off zasady wspólnej przyczyny, jego podważenie wymagałoby zakwestionowania również tego warunku. Gdyby się to powiodło, efektywny dowód twierdzenia Bella wymagałby wyprowadzenia nierówności Bella nie wykorzystującego żadnego uszczegółowienia warunku screening off. Przestawiona zostanie sugestia kierunku, w jakim powinny iść poszukiwania modelu naruszającego ten warunek.