at: Time ~> Time