( dt ti ( U)