My claim is that you can't avoid it. It's like trying to write a large program with zero bugs without being able to test it. Citing Knuth, "beware of bugs in the above code; I have only proved it correct, not tried it."
To put it another way: can you cite any complex bill that hasn't ever gone to the Supreme Court?
