• T2 blocks on X(A) because T1 already has the lock.

  • T2 can proceed after T1 unlocks: U(A).