Excellent! But: what he shows is that the entropy does not emerge from the implementation layer, but from the intentional layer. In other words, the bugs are not in the code but in the requirements. The universal development process begins with incoherent requirements and proceeds by guesswork until the compiler stops complaining. Anyone who has actually worked this process knows that pushback on buggy requirements is NOT tolerated. This is purely an organizational problem. How will he propose to mitigate it?