> Just because you have proven the correctness of your code, that does not mean that it is infallible.

Yes, but it gets you pretty far already.