On Wed, Jun 11, 2014 at 8:26 AM, Frithjof <sfrithjof at gmail.com> wrote: [...] > If I am not reading the example wrongly, the negation in the last > sentence is wrong, Thanks! Should be fixed now, by commit 2ecd06fcfd883e8c.