On Sunday, 9 July 2017 at 13:51:44 UTC, kdevel wrote: > But that second proposition what not the one chosen in the > documentation. Shall read: "But that second predicate was not the one chosen in the documentation."