On Thu, Apr 3, 2008 at 9:40 PM, Ed Murphy <[EMAIL PROTECTED]> wrote:
> I agree to this:
>
>   1) This public contract is named Universe 1.
>   2) Beans are a class of assets.
>   3) The recordkeepor of beans is Murphy.
>   4) Beans are restricted to the class of players whose nickname
>        is Murphy or pikhq.
>
>  and this:
>
>   A) This public contract is named Universe A.
>   B) Beans are a class of assets.
>   C) The recordkeepor of beans is Murphy.
>   D) Beans are restricted to the class of players whose nickname
>        is Murphy or comex.
>
>  The AFO agrees to both of these.
>
>  I create 2 beads in my possession.
>  I transfer 1 bead to pikhq.
>
>  I call for judgement on the following statements:
>
>   * Murphy has a bead.
>   * pikhq has a bead.

Trivially FALSE. Beads certainly aren't beans.

Regardless, I think you want to think you should always go for broke
on these things/discourage judgements of UNDECIDABLE, and so call for
judgement on "It is possible for Murphy to destroy a bean by
announcement" or similar.

-woggle

Reply via email to