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 `ClassesOfProvisionsAxis` and `ProvisionEnvironmentalMember` SHOULD be equal to `EnvironmentalProvision` without `ClassesOfProvisionsAxis` and `ProvisionEnvironmentalMember`. `Provisions` reported with `ClassesOfProvisionsAxis` and `ProvisionDisposalObligationMember` SHOULD be equal to `ProvisionDisposalObligation` without `ClassesOfProvisionsAxis` and `ProvisionDisposalObligationMember`. `Provisions` reported with `ClassesOfProvisionsAxis` and `ProvisionEmployeeBenefitsMember` SHOULD be equal to `ProvisionEmployeeBenefits` without `ClassesOfProvisionsAxis` and `ProvisionEmployeeBenefitsMember`. `Provisions` reported with `ClassesOfProvisionsAxis` and `ProvisionJubileeBenefitsMember` SHOULD be equal to `ProvisionJubileeBenefits` without `ClassesOfProvisionsAxis` and `ProvisionJubileeBenefitsMember`. `Provisions` reported with `ClassesOfProvisionsAxis` and `ProvisionLegalProceedingsMember` SHOULD be equal to `ProvisionLegalProceedings` without `ClassesOfProvisionsAxis` and `ProvisionLegalProceedingsMember`. `Provisions` reported with `ClassesOfProvisionsAxis` and `ProvisionMajorMaintenanceMember` SHOULD be equal to `ProvisionMajorMaintenance` without `ClassesOfProvisionsAxis` and `ProvisionMajorMaintenanceMember`. `Provisions` reported with `ClassesOfProvisionsAxis` and `ProvisionOnerousContractsMember` SHOULD be equal to `ProvisionOnerousContracts` without `ClassesOfProvisionsAxis` and `ProvisionOnerousContractsMember`. `Provisions` reported with `ClassesOfProvisionsAxis` and `ProvisionParticipatingInterestsMember` SHOULD be equal to `ProvisionParticipatingInterests` without `ClassesOfProvisionsAxis` and `ProvisionParticipatingInterestsMember`. `Provisions` reported with `ClassesOfProvisionsAxis` and `ProvisionPensionObligationsMember` SHOULD be equal to `ProvisionPensionObligations` without `ClassesOfProvisionsAxis` and `ProvisionPensionObligationsMember`. `Provisions` reported with `ClassesOfProvisionsAxis` and `ProvisionRepairCostsMember` SHOULD be equal to `ProvisionRepairCosts` without `ClassesOfProvisionsAxis` and `ProvisionRepairCostsMember`. `Provisions` reported with `ClassesOfProvisionsAxis` and `ProvisionRestructuringMember` SHOULD be equal to `ProvisionRestructuring` without `ClassesOfProvisionsAxis` and `ProvisionRestructuringMember`. `Provisions` reported with `ClassesOfProvisionsAxis` and `ProvisionTaxLiabilitiesMember` SHOULD be equal to `ProvisionTaxLiabilities` without `ClassesOfProvisionsAxis` and `ProvisionTaxLiabilitiesMember`. `Provisions` reported with `ClassesOfProvisionsAxis` and `ProvisionsMember` SHOULD be equal to `Provisions` without `ClassesOfProvisionsAxis` and `ProvisionsMember`. `Provisions` reported with `ClassesOfProvisionsAxis` and `ProvisionsOtherMember` SHOULD be equal to `ProvisionsOther` without `ClassesOfProvisionsAxis` and `ProvisionsOtherMember`.