∀ {α : Type u} {next : Option α} {upperBound : α} {next_1 : Option α} {upperBound_1 : α},
  { next := next, upperBound := upperBound } = { next := next_1, upperBound := upperBound_1 } →
    next = next_1 ∧ upperBound = upperBound_1