I fix software all day, but very few of the defects are really about "correctness" in the strict sense of code implementing the specification incorrectly. Most

I fix software all day, but very few of the defects are really about "correctness" in the strict sense of code implementing the specification incorrectly. Most often it is simply that the "specification" was bad/wrong/incomplete in the first place. I appreciate that in some cases the specification is straightforward and the challenge is to implement it correctly. But I think in most software development it is really the other way around: Designing/specifying the expected behavior is the hard part. It is pretty straightforward to implement this behavior correctly.