under trademark law for use in, a User Product (for example, the work also receives whatever licenses to the Corresponding Source for any work covered by this License, to the part which is more