As usual @lenary is exactly right. If the contents of `deferred` had nay effect on `values` they wouldn't have been deferred. A merge needs to occur before deferred operations' preconditions may be met.