Add slides on mocks, more code examples
Add postcondition