> can they prove it? And I would guess that they cannot. Of course not, to do that you’d need a way to detect all bugs in a program. If we had an effective wa

> can they prove it? And I would guess that they cannot. Of course not, to do that you’d need a way to detect all bugs in a program. If we had an effective way to that, we’d be using to remove all of the bugs from our programs instead of looking for ways to avoid bugs.