On Mon, 30 Sep 2024, Davidlohr Bueso wrote:\n
Also, the last sentence in the description would need to be dropped.
No never mind this, it is fine. I was mostly thinking about the pathological unbounded scenario which is removed, but after re-reading the description it is still valid.