lecture: lecture 09: begin