3.1.3 Initialization

See sections 3.2.3 and 3.3.3.