That text was removed by Aris's proposal in any case. On Sun, 22 Oct 2017 at 21:22 Kerim Aydin <ke...@u.washington.edu> wrote:
> > > On Sun, 22 Oct 2017, Aris Merchant wrote: > > On Sun, Oct 22, 2017 at 5:57 PM, Publius Scribonius Scholasticus > > <p.scribonius.scholasti...@gmail.com> wrote: > > > I deputise for he Rulekeepor to publish the below SLR: > > > > > > THE SHORT LOGICAL RULESET > > > > CoE: There are brackets in R2520, in clear contravention of the > > beginning of the contracts proposal. > > Speaking of which, has the last sentence of Rule 2166 been judged > to be correct as currently in the SLR? > > > >
