Dt vt t ( t;