$${t_1 = t}$$