Di v ( t | t: