Sections 4.5, 4.6 updated