within: Time ~> Time