Mutation rewrite