also copy arith rewrites...