Now if you look at testing software as a whole--as a large problem--it's really kind of daunting, because we can look at Microsoft's products and we can see that Microsoft didn't manage to eliminate all the bugs in their products, and we can look at Google's services and we can see that Google didn't manage to eliminate all the bugs in their services and so we might want to say to ourselves--how can we possibly get rid of all the bugs in our own software.