rule. InOut: Scope
rule. Note: if sigma
the chain rule
adhere to this rule
the rule of right [...] to the rule of [...] according to the rule of
