The assignment "OperIPV = AdminIPV" shall occur at the state INIT in Fig. 8-17. An option to implement could be to introduce a new procedure called Initialize() to cover the ST- and PSFP-specific actions, as following: 1- In Fig. 8-17, state INIT replace action "OperGateStates = AdminGateStates" by "Initialize()". 2- Add Section "8.6.9.2.3 Initialize()" at the end of Sect. 8.6.2.2 with the following text:"This procedure assigns AdminGateStates to OperGateStates." 3- In Sect. 8.6.10, add "Initialize() procedure" to the list of exceptions in the third paragraph as appropriate. 4- In Table 8-8 add one row with: - "Initialize()" in column "Procedure/variable name in 8.6.9, and - "PSFPInitialize()" in column "PSFP procedure/variable name". 5- Add Section "8.6.10.2 PSFPInitialization()", after Sect. 8.6.10.1 (renumbering as appropriate) with the following text: "This procedure assigns, a) PSFPAdminGateStates to PSFPOperGateStates, and b) AdminIPV to OperIPV. NOTE: variable IntervalOctetsLeft does not require explicit initialization during execution of state INIT (see Fig. 8-17), as its value is only effective if a gate control-list is currently executed; this is because it relates to a certain TimeInterval which only exists during execution (compare List Execute state machine (Fig. 8-17), states EXECUTE_CYCLE and procedure ExecutePSFPOperation (Sect. 8.6.10.1)."