3.9.3 Initialization

The initial state for this role is captured in sections 3.3.5.1 and 3.7.5.1.