theorem sufficient_representation_preserves_continuation
theorem sufficient_representation_preserves_continuation
: ∀ {History State Outcome : Type} (representation : History → State) (outcome : History → Outcome)
  (decoder : State → Outcome),
  continuationSufficient representation outcome decoder →
    ∀ (h₁ h₂ : History), representation h₁ = representation h₂ → outcome h₁ = outcome h₂