I've added some expository comments.