(just to be clear: that's a deep copy)