More rewrite patterns