If we do this: the scan sees the state before the transfer, or after it, but gets the same (correct) total either way.