"Prove the algorithm correct" - gosh, if only that were true.