“…|M| , suc = 0, and detect = 0; • u 2 is the utility when Pr[guess = 1] = 1 |M| , suc = 1, and detect = 0; • u 3 is the utility when Pr[guess = 1] = 1 |M| , suc = 0, and detect = 1; • u 4 is the utility when Pr[guess = 1] = 1 |M| , suc = 1, and detect = 1.…”