not tested: checking diff.