Transactions are a mental language model to codify exchange events between actants. They include the notion of a stateful transfer from a sender to a recipient. In case of success, the latter mutates.
They are directed events in a graph of causality.