* Transaction - yes, all those things could be "visible" or they could be "side effects". It may be best to leave the over-simplified definition in place, and add a "For more information see <<linref to tutorial-transactions>>
transaction-iso would be a better linkref in this case