An account is not a row with a balance but the events Opened, Deposited, Withdrawn. Commands check rules against the folded state and emit new events; nothing is edited in place.
Event sourcing
State is not stored; the append-only list of events that led to it is, and current state is a fold of them.