Comment by glum64

It is easy. We heard many angry programmers going ballistic about (un)maintainability of slop. That's the same, but very much more complex: imagine a large proof that maybe looks correct but it was written by a mentally unstable person that just committed suicide. What is its value?