(shrug) If they can agree that (X & ¬Y), it terminates pretty quickly. I find it’s only a serious failure mode if Alice and Bob insist on continuing to disagree about something.
(shrug) If they can agree that (X & ¬Y), it terminates pretty quickly. I find it’s only a serious failure mode if Alice and Bob insist on continuing to disagree about something.