On Thu, May 7, 2020 at 11:12 PM Jason Cobb via agora-business < agora-busin...@agoranomic.org> wrote:
> On 5/7/20 3:32 AM, Rebecca via agora-business wrote: > > I call the following CFJ (I bar trigon) > > "It is a possible game action for a player to use the contract contained > in > > this message to act on R. Lee's behalf to transfer a coin". > > I also call the following (unofficially linked) CFJ barring trigon. > > "If the statement in the first CFJ contained in this message is judged > > PARADOXICAL, and that judgement stands for seven days, R. Lee may win the > > game by announcement" > > > Gratuitous: > > R. Lee emself admits that the first CFJ is basically identical to CFJ > 3828. I believe this means it is IRRELEVANT because the case "can be > trivially determined from the outcome of another [...] judicial case > that was not itself judged IRRELEVANT". > > -- > Jason Cobb > > Not trivial (trivial is an extremely low amount of effort). Perhaps there is some other defect with the contract, who knows? -- >From R. Lee