Rewrite (A)