diff correctness