∀ {forwardState : Aesop.ForwardState} {forwardRuleMatches : Aesop.ForwardRuleMatches}
  {forwardState_1 : Aesop.ForwardState} {forwardRuleMatches_1 : Aesop.ForwardRuleMatches},
  { forwardState := forwardState, forwardRuleMatches := forwardRuleMatches } =
      { forwardState := forwardState_1, forwardRuleMatches := forwardRuleMatches_1 } →
    forwardState = forwardState_1 ∧ forwardRuleMatches = forwardRuleMatches_1