3.6.3 Initialization

Initial State for this role is captured in section 3.4.5.2.