Six Rules For Rewriting