3.8.3 Initialization

The initial state for this role is captured in section 3.6.5.1.