{P : Sort u} →
  {result result' : ProofWidgets.LazyEncodable Lean.Json} →
    ProofWidgets.CheckRequestResponse.done result = ProofWidgets.CheckRequestResponse.done result' →
      (result = result' → P) → P