t1(x)<t2(x)<<tjmax(x),