edit lecture: add lazy pattern to lecture 09