All differences are completed but unique keys; All diffing functionality is unit tested.