Finally Done with Rewrite