yQNRn Pr( [A,B](y)=YES ) = 1