y
’àà
QNR
n
Check b'=b
’àÄ
y
’àà
QNR
n
Pr( [A,B](y)=YES ) = 1