All: rewrite helps