Forcing rewrite