• T1 reads the current version of A and B.