s_3 t_3 (a)