∀ {name : Aesop.RuleName} {pattern : Aesop.RulePattern} {name_1 : Aesop.RuleName} {pattern_1 : Aesop.RulePattern},
  { name := name, pattern := pattern } = { name := name_1, pattern := pattern_1 } → name = name_1 ∧ pattern = pattern_1