Rewriting

Definition of Rewriting