Editing for clarity and correctness