edit lecture: finish lecture 12