at_some_point: Time ~> Time