added proof of running time to copy