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