edit lecture: finish lecture 13