Testing can show the presence of errors, but not their absence.