theories, a complete specification of local beables in 3 would constrain (or even determine) the selection events $a$,$b$. But in the intended application $a$,$b$ must be treated as free variables in the following sense: in applying a theory to a scenario of the relevant kind each of $a$,$b$ is to be specifiable independently in a theoretical model, and both are taken to be specifiable independently of a specification of local beables in region 3. Since this may exclude some *complete* theoretical specifications of beables in region 3 it is best not to require such completeness. Instead, one should say exactly what it is for a specification to be sufficient.

Seevinck and Uffink \[2011\] clarify this notion of sufficiency as a combination of functional and statistical sufficiency, rendering the label $b $ and random variable $B$ (respectively) redundant for predicting $Pr_{a,b}(A|B,\lambda )$, the probability a theory specifies for beable $A$ representing the outcome recorded in region 1 given beables $a$,$b$ representing the free choices of what the apparatus settings are in sub-regions of 1,2 respectively, conditional on outcome $B$ in region 2 and beable specification $\lambda $ in region 3. This implies$$Pr_{a,b}(A|B,\lambda )=Pr_{a}(A|\lambda )  \tag{4a}  \label{4a}$$Notice that $a,b$ are no longer 