First version of my Clean Code - Code Contracts & PEX talk at Silicon Valley Code Camp 2011