`Copy` is wrong. Maybe these would be better to do by hand.