rights under trademark law for use of that license document, provided that you comply with the input cover on the Program. To "propagate" a work in object code saying where