added todo
added second proof
Merge branch 'release/second-proof'