( t0 .. i.