$${t_3 = \tau}$$