edit lecture: lecture 14: finish state