Alexander Terekhov wrote: >Edsger Dijkstra comes to my mind: "Program testing can be used >to show the presence of bugs, but never to show their absence." > > And indeed we *want* that! By the way, Popper basically said the same but for science in general... Paolo.