rewrite rule experiment