On Sun, Apr 26, 2009 at 10:05 AM, Sean Hunt <ride...@gmail.com> wrote: > The entities qualified to be assigned as judge of an appeal case > are the judicial panels consisting of exactly min(3,1+2*R) members > (where R is the rank of the prior case), where each of the members > is qualified to be assigned as judge of the prior case and none of > the members is the prior judge, unless the prior case is a binding > inquiry case, in which case the panels must have exactly 3+2*R > members qualified to be assigned as judge of the prior case, none > of them being the prior judge. > > [Note: this is effectively a superset of Murphy's proposal regarding > appeal cases.]
Surely you mean "max(3, 1+2*R)"? -root
