shad/algo2: add contr comment, need to fix algorithm.
shad/algo2: fix algorithm, add proof first part.