Restructure conclusions a bit
Remove Rice example
He's not an evil sorcerer (he's a very naughty boy)
s/heuristics/approximations
More specific systems, not weaker ones
Human contribution
Remove mixed message wrt static analysis power
Better attribution for RV'01 quote
Add quotation marks
s/by Eiffel/in Eiffel/
Drop 'good programmer behaviour'
Better titles for DbC slides
Shuffle around trace analysis by contract section