The number of bugs is proportional to program size and complexity.