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