edit lecture: add example of lazy pattern