Section 2.4 updated