Consider again the simplified banking system of Section 14.1, which has
several accounts, and a set of transactions that access and update those accounts.
Let T1 and T2 be two transactions that transfer funds from one account to another.
Transaction T1 transfers $50 from account A to account B. It is defined as: