lecture: lecture 17: begin