edit lecture: lecture 12 -> lecture 13