Here `deep_copy` is also not necessary. But that is harder to argue because the operands are attributes, and somebody could change them. But they are not `publish`ed and in fact they should be `const`ants.