copy correctness