Justo wrote:What CFD means, when used to derive the BI, is that you can make counterfactual predicción using those functions and then perform experiments to falsify those predictions.
Yes, and now you are in the philosophical/ontological context. In the proof that the CHSH urn experiment has an upper limit of 2 for the CHSH expression, there are no counterfactual predictions. Of course when Alice tosses her coin and picks one of her two values, we can call that value "factual" and the other "counterfactual". But that's just a word game. As far as the proof goes there is no need to label them at all. They are just two numbers. We only need to assume she records the value she picks. The only actual prediction that is made, is that the CHSH expression is less or equal than 2, in the limit as N goes to infinity.
Same goes for the proof of Bell's theorem.