On Sat, Jul 31, 2010 at 2:54 PM, Sean Hunt <ride...@gmail.com> wrote: > Circularity is easily resolved if you stop thinking of it that way: > > IF NOT (IF this is a win announcement THEN someone satisfies a winning > condition) THEN this is not a win announcement.
The proposed rule says "causes", not "would cause [if it were a win announcement]".