Re: DIS: Re: OFF: [Arbitor] CFJ 3493, 3494 assigned to Aris

2017-05-29 Thread Kerim Aydin
Aris, I think CFJ 3493 is trivially FALSE given your judgement on 3494, but I think you still need to judge it :). (sorry if you did and I missed it). https://faculty.washington.edu/kerim/nomic/cases/?3493 On Sat, 27 May 2017, Aris Merchant wrote: > On Sat, May 27, 2017 at 12:25 AM Owen

Re: DIS: Re: OFF: [Arbitor] CFJ 3493, 3494 assigned to Aris

2017-05-27 Thread Aris Merchant
On Sat, May 27, 2017 at 12:25 AM Owen Jacobson wrote: > > On May 19, 2017, at 3:10 PM, Alex Smith wrote: > > > On Tue, 2017-05-16 at 10:00 -0700, Kerim Aydin wrote: > >> I CFJ on: Immediately after my most recent deregistration, I had a > Balance

DIS: Re: OFF: [Arbitor] CFJ 3493, 3494 assigned to Aris

2017-05-27 Thread Owen Jacobson
On May 19, 2017, at 3:10 PM, Alex Smith wrote: > On Tue, 2017-05-16 at 10:00 -0700, Kerim Aydin wrote: >> I CFJ on: Immediately after my most recent deregistration, I had a Balance >> Switch with a value greater than 0. > > This is CFJ 3494. I assign it to Aris.