[t1] t2.t3.v = 0 [t1.t2.t3]