t | t f t0