Defining Rewrite Rules