Copying correctness summary