|< < 17 > >|
After T1 commits, transactions reading A and B see A2 and B2.
The old versions, A1 and B1 are obsolete once their readers complete (T2, T3).