∀
y
∈
QNR
n
Pr( [A,B](y)=YES ) = 1