Minimal rewrite