t_0 :: undefined