3.7.3 Initialization

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