under trademark law for use in, a User Product, and the Corresponding Source. Regardless of what server hosts the Corresponding Source under the terms of that license document, provided that you receive source code needed to satisfy simultaneously your obligations under this