#correction.editing  something substituted for an error
  supertype:  #editing  putting something (as a literary work) into publishable form
  subtype:  #erasure  correction by erasing

No statement uses or specializes #correction.editing; click here to add one.