Indeed -- and we now end up with LL languages, which are a pretty weak grammar class. We spend a lot of time binding our minds to computer languages than computers to understand something more powerful.
Sure! All nodes will be consistent in that your balance is what they all think it is, and that the attacker's balance reflects the attack. But unless those actions are coupled in a transaction, each account may not be consistent with the other.
Loathsome pop-psych, loathsome relationship pattern ... and redeemed by turning it on its head. Well played. Had me hate-reading in the middle and happy by the end.