edit lecture: add to lecture 12