"initial values" provided by the caller are explicitly labeled as such by being declared as `RootRule`s