imo, your last phrase, excerpted below: >(in other words, I can't prove the correctness ... without referencing the original paper). agrees with what I said i

imo, your last phrase, excerpted below: >(in other words, I can't prove the correctness ... without referencing the original paper). agrees with what I said in my previous comment: >if you don't understand it fully, how can you say .... that it will work? (irrelevant parts from our original comments above, replaced with ... , without loss of meaning to my argument.) both those quoted fragments, yours and mine, mean basically the same thing, i.e. that both you and the GP don't know whether it will work. it's not that one cannot use some piece of code without knowing whether it works; everybody does that all the time, from algorithm books for example, as you said.