Testing shows the presence, not the absence of bugs.