fix abstraction lecture to have code examples shown