> The difficulty in ALL win conditions, that 2186 specifies one set
> of conditions for calling something a win announcement, and that other
> rules say that it has to be a winning announcement with different
> (not additional) information ("a win announcement that Proposal X has
> been adopted" in
On Sat, Jul 31, 2010 at 1:11 PM, Ed Murphy wrote:
> c) It causes at least one Winning Condition to be satisfied, as
> defined by other rules.
For it to be a win announcement it must cause a Winning Condition to
be satisfied, but the Winning Condition can only be satisfied by a wi
On 07/31/2010 11:56 AM, comex wrote:
On Sat, Jul 31, 2010 at 1:11 PM, Ed Murphy wrote:
c) It causes at least one Winning Condition to be satisfied, as
defined by other rules.
For it to be a win announcement it must cause a Winning Condition to
be satisfied, but the Winning
On Sat, Jul 31, 2010 at 2:54 PM, Sean Hunt 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 [i
4 matches
Mail list logo
