Satisfying Diff