Compact Rewrite