Did you know that the original article describing Berlekamp's root finding algorithm did not contain a proof of correctness ?