This was sent twice for some reason.
On 6/13/2020 2:35 PM, Kerim Aydin via agora-official wrote:
The below CFJ is 3845. I assign it to Aris.
status: https://faculty.washington.edu/kerim/nomic/cases/#3845
=============================== CFJ 3845 ===============================
On or about 16 May 2020, CFJ 3835 became G.
==========================================================================
Caller: Jason
Judge: Aris
==========================================================================
History:
Called by Jason: 12 Jun 2020 02:08:56
Assigned to Aris: [now]
==========================================================================
Caller's Arguments:
This may sound stupid (and, in fact, it is), but the terminology is
enshrined in Rule 2162/13, with power=3:
"To flip an instance of a switch" is to make it come to have a
given value. "To become X" (where X is a possible value of
exactly one of the subject's switches) is to flip that switch to
X.
The only switch possessed by CFJs is Judge which, per Rule 991/31, has
possible values of any person or "unassigned". Because Judge is CFJ
3835's only switch, each of Judge's possible values is the value of
exactly one of CFJ 3835's switches. Thus, Rule 2162 says that the
statement of this CFJ is true.
==========================================================================
