• T1 writes new version of A.