Pavitra wrote: > Is there any particular reason why you didn't assign 3114-5 linked?
Because the statements appeared to be orthogonal: "f(x,y) would cause x to break a rule" "f(x,y) would cause y to break a rule" where f() represents an asymmetric situation (in this case, publishing and cashing a promise). Contrast the more common "f(x,t1) caused x to do such-and-such at time t1" "f(x,t2) caused x to do such-and-such at time t2" or "f(x,c1) would cause x to do such-and-such in circumstances c1" "f(x,c2) would cause x to do such-and-such in circumstances c2"