t_1,\dots,t_n\in T