The notation is presented in Fig. 1, where the experimental setup is schematically shown. In ineq. (2) the notation is somewhat shortened, so that A = A(φA, λ) and B = B(φB , λ) pertains to the first detector while B′ = B′(φB , λ) and C ′ = C′(φC , λ) pertains to the second, and the expressions E(AB′), E(AC ′), and E(BC ′) are correlations of the results at detector 1 and detector 2 for differe...