Formal Document edits