lecture: lecture 23: begin