The impact measure is something like “Don’t let the expected value of R change; under the assumption that A will be an R-maximiser”.
The addition of the subagent transforms this, in practice, to either “Don’t let the expected value of R change”, or to nothing. These are ontologically simpler statements, so it can be argued that the initial measure failed to properly articulate “under the assumption that A will be an R-maximiser”.
The impact measure is something like “Don’t let the expected value of R change; under the assumption that A will be an R-maximiser”.
The addition of the subagent transforms this, in practice, to either “Don’t let the expected value of R change”, or to nothing. These are ontologically simpler statements, so it can be argued that the initial measure failed to properly articulate “under the assumption that A will be an R-maximiser”.