∀ {options : Aesop.Options'} {ruleSet : Aesop.LocalRuleSet} {normSimpContext : Aesop.NormSimpContext}
  {options_1 : Aesop.Options'} {ruleSet_1 : Aesop.LocalRuleSet} {normSimpContext_1 : Aesop.NormSimpContext},
  { options := options, ruleSet := ruleSet, normSimpContext := normSimpContext } =
      { options := options_1, ruleSet := ruleSet_1, normSimpContext := normSimpContext_1 } →
    options = options_1 ∧ ruleSet = ruleSet_1 ∧ normSimpContext = normSimpContext_1