lecture: lecture 12: finished