The below CFJ is 3895. I assign it to Aris.
status: https://faculty.washington.edu/kerim/nomic/cases/#3895
=============================== CFJ 3895 ===============================
I have now more than 20 Victory Points.
==========================================================================
Caller: Cuddlebeam
Judge: Aris
==========================================================================
History:
Called by Cuddlebeam: 25 Jan 2021 23:04:59
Assigned to Aris: [now]
==========================================================================
Caller's Arguments:
In R2577, we have: "Attempts to transfer no assets are successful. When a
rule indicates creating, destroying, or transferring an amount of assets
that is not a natural number, the specified amount is rounded up to the
nearest natural number after all other calculations."
So, a reasonable interpretation is that if I attempt to transfer 0 cards,
it's successful and transfers 1 - it's rounded up, because 0 isn't a
natural number.
Or is it? Hi, VSauce here.
Yup, this all relies on the definition of "natural number" that we decide
to take. Is it all whole positive numbers except zero? Or including zero?
The big conundrum that we got up our pants here is that we have no explicit
precedent on this as far as I'm aware. And there is no clear consensus in
the real world on this either:
https://mathworld.wolfram.com/NaturalNumber.html
Caller's Evidence:
On 1/25/2021 3:04 PM, Cuddle Beam via agora-business wrote:
> I attempt to transfer 0 cards from Aris to myself
> I attempt to transfer 0 cards from ATMunn to myself
> I attempt to transfer 0 cards from Falsifian to myself
> I attempt to transfer 0 cards from G. to myself
> I attempt to transfer 0 cards from Gaelan to myself
> I attempt to transfer 0 cards from grok to myself
> I attempt to transfer 0 cards from Jason to myself
> I attempt to transfer 0 cards from Joe to myself
> I attempt to transfer 0 cards from JTAC to myself
> I attempt to transfer 0 cards from Lucidiot to myself
> I attempt to transfer 0 cards from Murphy to myself
> I attempt to transfer 0 cards from Nathan to myself
> I attempt to transfer 0 cards from nix to myself
> I attempt to transfer 0 cards from Noah to myself
> I attempt to transfer 0 cards from omd to myself
> I attempt to transfer 0 cards from R. Lee to myself
> I attempt to transfer 0 cards from Shy Owl to myself
> I attempt to transfer 0 cards from Trigon to myself
> I attempt to transfer 0 cards from Ubercrow to myself
>
> If I have more than 10 Victory Cards, I then do the following:
> I pay 4 sets of Victory Cards to gain 10 Victory Points.
> I pay 4 sets of Victory Cards to gain 10 Victory Points.
> I pay 4 sets of Victory Cards to gain 10 Victory Points.
> I pay 4 sets of Victory Cards to gain 10 Victory Points.
==========================================================================
