correction: something substituted for an error
editing: putting something (as a literary work or a legislative bill) into acceptable form
metarule: a rule that describes how other rules should be used (as in AI)