Rewriting Difference by