P
Initializing...
Theorem 3, Eqs. (19)–(20): success-weighted hidden nonlocality · Prove2Me