Added sections 4.2 and 4.3 (the last to be extended).