rewritten rewrites