lecture: lecture 12: begin