fix abstraction lecture by adding example code