∀ {toNormal toSpecial toNormal_1 toSpecial_1 : Std.HashMap Char Char},
  { toNormal := toNormal, toSpecial := toSpecial } = { toNormal := toNormal_1, toSpecial := toSpecial_1 } →
    toNormal = toNormal_1 ∧ toSpecial = toSpecial_1