lecture: lecture 20: begin