Also in the STM example, they only ever read sender's balance and never the receiver's balance.