F ' ) dt: