User blog comment:Ubersketch/A proposal for a standard/@comment-34422464-20190813205023/@comment-35470197-20190815210003

> As I said, I will make it more clear later.

I meant that you need to clarify the precise definition instead of just make the explation clearer.

> I don't see overlapping cases

In order to find mistakes in an algorithm, it is good to compute examples in a way completely following the algorithm without using intuition.