Verified Copying Tools