here formula_25 (formula_26) denotes the probability that alice (bob) obtains the result formula_13 formula_28 when she (he) conducts experiment formula_29 formula_12 and the local variable describing her (his) experiment has value formula_31 (formula_32).