Set date and subtitle
Drop 'Still very difficult.'
Correct and shorten RV quote
Embiggen boundary between DbC and Trace slides
Switch to Contract Languages heading on table slide
Shrink BML tree and include full result
Bold the method contract in JML example
Add a small heading to the BML example slide
Drop final contract languages slide
Better titles for host language slides
Shrink jContractor slide
Split up and examples for trace logics