rewrite ...