Section 4.1 rewritten