t_1 :: undefined