The way this works is that it essentially reduces two independent guesses (A=X && B=Y) into one guess (A=B).