∀ {maxDepth : ℕ} {abstract debug : Bool} {maxDepth_1 : ℕ} {abstract_1 debug_1 : Bool},
  { maxDepth := maxDepth, abstract := abstract, debug := debug } =
      { maxDepth := maxDepth_1, abstract := abstract_1, debug := debug_1 } →
    maxDepth = maxDepth_1 ∧ abstract = abstract_1 ∧ debug = debug_1