On the other hand: "take note that I have only proven this code correct, not tested it." Code review is performed in the understanding that its results are basically heuristic. Everyone knows that actual behavior trumps anything you get from just looking at something.