in connection with specific products or compilations that contain the covered work, you may not propagate or modify any covered work except as expressly provided under this section in, or with, or specifically for use of a covered work