This audit is definitely wrong.
- The transfer:
- Withdrew 100 from one account, and then
- Deposited 100 to another account.
- The audit:
- Saw the result of the withdrawal, but not the deposit.
- But the Deposit vs. Balance example showed that reading either the
before state or the after state was correct.
- Yet the total of the balances is too low, by 100.