On 12/01/18 19:07, Tim Hollebeek via Public wrote: > Gerv might want to take a look at how I handled 3.2.2.4.11. I guess that works, although some might find it a bit confusing to have such a statement in the middle of the list rather than e.g. in the introductory matter. Gerv