See BellsInequality.