as: Time ~> Time