Testing shows the presence, not the absence of bugs. No amount of testing can prove a software right, a single test can prove a software wrong. This fundamental limitation means we must design our systems to be obviously correct, not merely verified through testing. The best way to achieve reliability is through simplicity and clarity of design.