status: https://faculty.washington.edu/kerim/nomic/cases/#4013
(This document is informational only and contains no game actions).

===============================  CFJ 4013  ===============================

      Janet is party to at least one contract whose title begins with
      'Riemann is'.

==========================================================================

Caller:                        Janet
Barred:                        snail

Judge:                         G.
Judgement:                     FALSE

==========================================================================

History:

Called by Janet:                                  20 Feb 2023 01:11:06
Assigned to G.:                                   21 Feb 2023 01:06:43
Judged FALSE by G.:                               23 Feb 2023 14:57:47

==========================================================================

Caller's Arguments:

I see a few possibilities:

* Each purported consent is unclear due to having an indeterminate
condition attached, so 0 contracts were created.

* Exactly one purported consent worked, based on whether the Riemann
hypothesis is true or false, so 1 contract was created.

* Both purported consents work, as the conditional doesn't affect
whether consent was given, so 2 contracts were created.


The applicable clause of Rule 2519/2 is item 1. This item does not
include any clarity standards for consenting, and it does not explicitly
mention conditionals. We could potentially read the same standard as "by
announcement" into "publicly stated" in order to make the purported
consents fail. Similarly, the rule could be read to make purported
conditional consents consent unconditionally, as I may have "publicly
stated" my consent, even if I attempted to hedge it, thus making both
consents work.

Rule 1742/23 also does not place any clarity standards on the creation
of contracts (other than "publicly"). Paragraph 3 does not apply
because, of the zero or more contracts that exist, their text is fully
public and well-specified (even if their existence is not). So I think
this comes down entirely to which purported consents work, rather than
the consents involving contracts specifically.


Caller's Evidence:

On Sun, Feb 19, 2023 at 5:11 PM Janet Cobb via agora-business  wrote:
>
> If the Riemann Hypothesis is true, I consent to, create, and join the
> following contract entitled "Riemann is True":
>
> {
>
> Well, I guess that's not particularly surprising.
>
> Only Janet can be a party to this contract; if any other person is a
> party, e immediately ceases to be.
>
> }
>
>
> If the Riemann Hypothesis is false, I consent to, create, and join the
> following contract entitled "Riemann is False":
>
> {
>
> Wow! That's amazing!
>
> Only Janet can be a party to this contract; if any other person is a
> party, e immediately ceases to be.
>
> }
>

------------------------------------------------------------------------
Rule 2519/2 (Power=3)
Consent

      A person is deemed to have consented to an action if and only if,
      at the time the action took place:

      1. e, acting as emself, has publicly stated that e agrees to the
         action and not subsequently publicly withdrawn eir statement;
      2. e is party to a contract whose body explicitly and
          unambiguously indicates eir consent;
      3. the action is taken as part of a promise which e created; or
      4. it is reasonably clear from context that e wanted the action to
         take place or assented to it taking place.

------------------------------------------------------------------------
Rule 1742/23 (Power=2.5)
Contracts

      Any group of one or more consenting persons (the parties) may
      publicly make an agreement among themselves with the intention
      that it be binding upon them and be governed by the rules. Such
      an agreement is known as a contract. A contract may be modified,
      including by changing the set of parties, with the consent of all
      existing parties. A contract may also be terminated with the
      consent of all parties. A contract automatically terminates if the
      number of parties to it falls below one. It is IMPOSSIBLE for a
      person to become a party to a contract without eir consent.

      Parties to a contract governed by the rules SHALL act in
      accordance with that contract. This obligation is not impaired
      by contradiction between the contract and any other contract, or
      between the contract and the rules.

      Rules to the contrary notwithstanding, any change that would cause
      the full provisions or parties of a contract to become publicly
      unavailable is canceled and does not take effect.

      The portion of a contract's provisions that can be interpreted
      with reference only to information that is either publicly or
      generally available are known as its body; the remainder of the
      provisions are known as the annex.

      A party to a contract CAN perform any of the following actions as
      explicitly and unambiguously permitted by the contract's body:

      * Act on behalf of another party to the contract.

      * By announcement, revoke destructible assets from the contract.

      * By announcement, transfer liquid assets from the contract to a
        specified recipient.

      Any player CAN cause a contract to be terminated (syn. "shred")
      without 2 objections. This SHOULD only be done to remove unused
      contracts or contracts deemed detrimental to the game as a whole.

------------------------------------------------------------------------

Judge G.'s Arguments:

First off, the act of consent is an act of free will - whether someone
consents to something is a truth outside the game. While messages may
establish consent for legal purposes, consent can't be manipulated
arbitrarily through such messages, but is instead bound by limits of
thought and common sense. For example, it is nonsense to suggest that
a person's consent alternates infinitely and instantly between
consenting/nonconsenting (the brain doesn't work like that), or that
we as observers alternate infinitely between accepting and denying
consent. So, trying to set up an "infinitely back and forth" legal
fiction or paradox might succeed for an asset (in the absence of
explicit error-trapping in the rules), but when applied to consent
it's noncommunicative nonsense.

Secondly, consent is an important social concept that shouldn't be
taken lightly. To the extent that Agora is a community as well as a
game, it is in the best interests of Agora that we (as much as the
rules allow) assert the general principle that silence does NOT equal
consent. Leaving aside real world reasons, silence != consent is in
keeping with Agoran custom. Ever since the Mousetrap of 1995[0],
Agorans have carefully crafted rules to ensure that players could not
be drawn into subcontracts and so forth without wilful, expressed
consent. Further, there is a current exception that proves the rule:
"Without Objection" is literally a silence=consent process, but this
process is our most carefully and stringently wordsmithed, and is the
only process for which we award a full championship for demonstrating
a bug. This shows that Agorans have acknowledged the danger of
assuming silence=consent in an Agora gaming context, and we've adopted
explicit legislation to guard against its consequences.

Taking the position that silence != consent also means assuming that
uncertainty != consent. In many cases in Agora, we have legislated
away the law of excluded middle - just because something isn't true
doesn't mean it's false, it may be logically indeterminate. However,
in dealing with consent, we should generally avoid such logic and
maintain that a lack of clear consent means NO consent exists, at
least to the extent that the rules allow.

So, with this "good of the game" bias in mind, how do the rules apply
to this case? Determining consent is governed by R2519/2, in which
four numbered clauses describe different means for communicating
and/or inferring consent. Clauses #2 and #3 (preexisting contracts and
promises) are not relevant here, so simplifying somewhat:

> R2519/2 [excerpt]
>      A person is deemed to have consented to an action if and only if,
>      at the time the action took place:
>      1. e, acting as emself, has publicly stated that e agrees to the
>         action and not subsequently publicly withdrawn eir statement; or
>      4. it is reasonably clear from context that e wanted the action to
>         take place or assented to it taking place.

Note that whenever clause #1 is true, clause #4 is also true, because
what could be "clearer from context" than a direct positive statement
of agreement? With that in mind, I find that clause #1, on its own,
does not allow for conditionals. Clause #1 clearly says that a
statement of agreement must be made, and given the bias above towards
uncertainty not equalling consent, this should be interpreted as a
strict requirement. Clause #1 requires a direct statement of agreement
that does not allow for conditionals.

However, clause #4 *does* allow for conditionals. A simple statement
"I agree with this contract if Janet transferred a coin to me
yesterday" together with the public record of actions provides
sufficient context for assent if and only if the conditions can be
reasonably and clearly shown to be true. So, if the caller's attempt
to join a contract succeeded, it would be through clause #4, not
clause #1.

This has a couple of consequences. First, it is subject to the
"reasonably clear" standard which outright rejects conditionals based
on the Riemann hypothesis[1]. Second, clause #4 doesn't ask about the
reasonable clarity of a particular *statement* but rather of the full
context. And the context includes the entire message. So instead of
forcing us to interpret a single statement within a message, that
might contain logical contradictions or uncertainty when examined in
isolation, we look at the message as a whole to ascertain assent.

And the context of the whole message is: clearly there's some trickery
going on.  The caller has set up some conditionals based on a "fact"
that, unless e's about to reveal a proof and win the Fields Medal, e
doesn't know, we don't know, and e knows we don't know (that's also
part of the context).  How can consent for one of those contracts "at
the time of the message" be inferred from that? E knows that Agora
can't assign em to one or the other with actual knowledge of the
"correct" answer, so e isn't truly consenting to be in either, at
least not with that message.

So, since the message in question contains no direct, unconditional
statement of agreement, and it was not reasonably clear from the
overall context of the message and surrounding facts that consent for
anything was actually meant, neither clause #1 nor clause #4 are
satisfied, and therefore no consent has been given for joining these
alleged contracts.  I judge FALSE.

[0] https://agoranomic.org/Herald/theses/txt/1996-XX-XX-Swann.txt
[1] https://faculty.washington.edu/kerim/nomic/cases/?1460

==========================================================================

Reply via email to