t4[R-X-Y] = t1[R-X-Y]