[*] Note: this will only occur if the operation is expected
to be propagated. Propagation is a property that is defined on an
operation-by-operation basis. Giving a ten-percent raise might be chosen as
not being propagated--in which case, neither Bob nor his arm would be
guaranteed a ten-percent pay raise.