rewrite in recursive