Fast Unit rewrite