I suppose this is a good example if your reader knows how banking systems work. A better direct example in the same line of reasoning would be double-entry acc

I suppose this is a good example if your reader knows how banking systems work. A better direct example in the same line of reasoning would be double-entry accounting where you would want both the credit and debit entry to either fail or succeed. Most people probably don’t know that their bank account _is_ a double-entry account to their banking institution. I can’t noodle a way to make the banking example more intuitive for an audience absent explaining how double-entry accounting works and that banks mostly obscure that from the customer. That’s not really knowledge you can assume from a software developer or sysadmin.