Rewrites

Definition of Rewrites