You know the algorithmic optimization is serious when you work out the proof of correctness before writing a line of pseudocode.