∀ {resultId? : Option String} {data : Array ℕ} {resultId?_1 : Option String} {data_1 : Array ℕ},
  { resultId? := resultId?, data := data } = { resultId? := resultId?_1, data := data_1 } →
    resultId? = resultId?_1 ∧ data = data_1