FTT → F(T_T)