Understanding DIP 1000 semantics -- Where's the bug?

[ag0aep6g]

On 24.09.19 19:49, ag0aep6g wrote:
> On 24.09.19 19:01, Olivier FAURE wrote:
[...]
> I think we're almost on the same page now.

And now I notice that you're not Sebastiaan Koppe, Olivier. I thought 
your post was by him. Sorry for the additional confusion.