- Do not call the rewrite algorithm R twice.