some rewrite systems in data/