Before revision: Here, indicates that Alice can return either of .
After revision: and is the Hamming distance between andHere, indicates that Alice can return either of .