BTW, I just realized that I got this part backwards:

> In the one-bit case, if C and K correspond (i.e. are both 0 or are both 1) then M is 1.

That should have read "... then M is 0." (Obviously.)