$${t_1 = t_2}$$