during: Time ~> Time