A license may contain implicit obligations, if a more general obligation mentions a prerequisite that must not necessarily be available. For example, the obligation YOU MUST Provide License text In Documentation OR Distribution material gives no instruction how to act, if the software came without documentation or distribution material. Thus, an explicit version of this obligation may read either - You must provide the license text in the documentation or in distribution material, if such material came with the software. If it did not, this obligation is void. or - You must provide the license text in a documentation or in distribution material. If such material did not come with the software or it did, but does not contain the license, appropriate documentation or distribution material must be created and at least the license text must be included in it. In the checklist "language", the first interpretation would be encoded as IF Documentation OR Distribution material Is Available YOU MUST Provide License text In Documentation OR Distribution material while the second interpretation simply would become YOU MUST Provide License text In Documentation OR Distribution material and imply that such material must be created if not available. The second interpretation is assumed in all checklists, unless the license specifies otherwise.