Because we view code quality as one of the vehicles through which we can achieve correctness. There are others as well.
Of course it does make sense. Every big and vague problem must get this same treatment: break it down enough until it’s 100% measurable.
