See: Introduction, Rule = [Rule]