Don wrote: > It would be strange to put outer function statements before the > precondition, but that's true of any inner function.
I don't see it as an inner function, but as a part of the public interface. It's an enforceable documentation of the function. -- Michiel Helvensteijn