 Here, and in what follows, it is to be understood that the sums be taken over all \(s \in S_a\) and \(t \in T_b\). Define \(A_{\lambda}(a, b)\), \(B_{\lambda}(a, b)\) as the expectation values, for complete state \(\lambda\), of the outcomes of experiments on system 1 and system 2, respectively, when the settings are \(a, b\). 