- From: Florian Rivoal <florian@rivoal.net>
- Date: Fri, 08 Feb 2013 09:23:43 +0100
- To: "L. David Baron" <dbaron@dbaron.org>
- CC: "www-style@w3.org" <www-style@w3.org>
"L. David Baron" <dbaron@dbaron.org> wrote: >On Thursday 2013-02-07 23:51 +0100, Florian Rivoal wrote: >> On Thu, 07 Feb 2013 23:30:08 +0100, L. David Baron >> <dbaron@dbaron.org> wrote: >> Yes, this accurately reflects is what we agreed to. >> >> That said, for the benefit of the reader who is reading this without >> knowledge of the discussion we had, I wonder if it would be worth >> being explicit about the fact that collapsing multiple levels of >> nested parentheses to a single one is one of these logical >> simplifications we forbid. Your text already >> implies it, but it might also be misinterpreted to only mean >> forbidding converting "(not (a:1)) and (not (b:2))" into "not ((a:1) >> or (b:2))". > >OK, I added the parenthetical: > # logical simplifications (such as removal of unneeded parentheses, > # or simplification based on evaluating results) Thanks. That settles it.
Received on Friday, 8 February 2013 08:24:10 UTC