One thing to note for the future: We are losing the ability to reuse one of the operands if its refcount was one. A possible future optimization is to not only track which references are deferred, but which are the only reference to the object. We can then avoid the allocation & deallocation that occurs ina + b + c