"Also, it is strange for maintainability to be #4 when correctness is #1 because it is equally important for code to remain correct over time. " Absolutely. Th

"Also, it is strange for maintainability to be #4 when correctness is #1 because it is equally important for code to remain correct over time. " Absolutely. This was known far back as Ada which had reduction of errors in maintenance phase as one of its design goals for its syntax and semantics.