Merge rewrite, specs