Reported value of `Provisions` at end of period SHOULD be equal to sum of reported value of `Provisions` at beginning of period and changes in that value during period, `ProvisionsMovement`. `ProvisionsMember` SHOULD be equal to the summation of the underlying children members. `ProvisionsMember` SHOULD be equal to the summation of the underlying children members. `ProvisionsMovement` SHOULD be equal to the summation of the underlying values. `Provisions` reported with `ClassesOfProvisionsOtherAxis` and `ProvisionEmployeeBenefitsMember` SHOULD be equal to `ProvisionEmployeeBenefits` without `ClassesOfProvisionsOtherAxis` and `ProvisionEmployeeBenefitsMember`. `Provisions` reported with `ClassesOfProvisionsOtherAxis` and `ProvisionPensionObligationsMember` SHOULD be equal to `ProvisionPensionObligations` without `ClassesOfProvisionsOtherAxis` and `ProvisionPensionObligationsMember`. `Provisions` reported with `ClassesOfProvisionsOtherAxis` and `ProvisionTaxLiabilitiesMember` SHOULD be equal to `ProvisionTaxLiabilities` without `ClassesOfProvisionsOtherAxis` and `ProvisionTaxLiabilitiesMember`. `Provisions` reported with `ClassesOfProvisionsOtherAxis` and `ProvisionsMember` SHOULD be equal to `Provisions` without `ClassesOfProvisionsOtherAxis` and `ProvisionsMember`. `Provisions` reported with `ClassesOfProvisionsOtherAxis` and `ProvisionsOtherMember` SHOULD be equal to `ProvisionsOther` without `ClassesOfProvisionsOtherAxis` and `ProvisionsOtherMember`.