Readability is not a valid requirement as it does not specify a valid end condition. Likewise simplicity is not a valid requirement. Code coverage by tests, p

Readability is not a valid requirement as it does not specify a valid end condition. Likewise simplicity is not a valid requirement. Code coverage by tests, proofs and comments is. A valid requirement could be considered complexity, number of names and entities and a lot of other linter constraints. Heck, aggressive deduplication is not even always good. Self similarity is not necessarily good either (the reuse of patterns) as you could have problems trying to spot the differences and special cases as they may no longer stand out.