Furthermore, below a certain threshold, a subprogram can be small enough to be absolutely free of defects.

• 不止如此。事实上，当程序小到某个阈限以下之后，它实际上可以达到完全没有错误的状态。