Section 3.1 is translated.