Hm. documentation, readability, maintainability?

in general you cannot even prove, whether a program does the right thing...