User blog comment:Ubersketch/Collapsing the first 1-dinal/@comment-35470197-20190702215756/@comment-35470197-20190703231742

I guess that you believe that your stuffs are always well-defined unless anly problems are pointed out. However, it does not ensure the well-definedness. It is actually ill-defined.