Write-Rewrite-When-not