* Copy is now fully proved