(rewrite)