proof, a presentation for csm, 2011 - [archive]