Section 4.6 translated.