Paraphrasing, but: “testing can only show presence of bugs, not their absence”