Do we need a copy? We don't copy in Exchange operators before a shuffle.