Revised formatting of AL's notes for lecture 16.