cs6110_lecture_12.pdf