Symbol: REWRITE