On Sat, 2012-07-07 at 07:37 +0100, ais523 wrote: > On Fri, 2012-07-06 at 23:32 -0700, Kerim Aydin wrote: > > I create the following promise: > > Name: Ping > > Text: I transfer one ruble to ais523 and cash the promise entitled > > 'Pong'. > > Conditions: This promise is not destroyed on cashing. > > > > I transfer this promise (Ping) to ais523. > > > > I create the following promise, "a CFJ", with this text: > > I CFJ on the following statement, barring Murphy: ais523 CAN destroy > > a ruble. > > (Caller's arguments will follow this CFJ). > > > > I transfer this promise (a CFJ) to ais523. > > I create the following promise: > Name: Pong > Text: I transfer one ruble to G. and cash the promise entitled 'Ping'. > Conditions: This promise is not destroyed on cashing. > > I transfer this promise (Pong) to G.. > > I transfer every ruble I own to G.. > > I cash the promise "Ping".
I CFJ on the following statement, barring Murphy: ais523 CAN destroy a ruble. I cash the promise "a CFJ" created by G.. (This creates another CFJ with the same statement, but a different initiator.) I request that my CFJ and G.'s CFJ are linked. Evidence: The above-quoted message (including its embedded quote). Arguments to follow. -- ais523