Then T2 can commit itself.
ורק אז T2 מתחייבת.