∀ (recursive ignoreIfNotExists recursive_1 ignoreIfNotExists_1 : Bool),
  ({ recursive := recursive, ignoreIfNotExists := ignoreIfNotExists } =
      { recursive := recursive_1, ignoreIfNotExists := ignoreIfNotExists_1 }) =
    (recursive = recursive_1 ∧ ignoreIfNotExists = ignoreIfNotExists_1)