You're right. Locking the rows or using serializable isolation would be required to achieve an atomic operation if and only if both accounts are in the pristine

You're right. Locking the rows or using serializable isolation would be required to achieve an atomic operation if and only if both accounts are in the pristine state before it.