The context in which the subject appears does not matter for resolution. The subject is considered to appear in the documents when either the exact term, phrase, or name specified appears in the content of the documents, or the subject is present by way of commonly used abbreviation, direct synonym, or unmistakable reference including in any official appendices, footnotes, or tables. The documents must be publicly released after Issuance and before the end date. The documents directly issued and officially published by the relevant institution or entity, leaks of the documents, and media coverage by Source Agencies count, unless otherwise specified by the Exchange. If the documents are revised after publication, all publicly released versions prior to Expiration will be used. If a correction or update nullifies the appearance of the subject, the market may still resolve to Yes based on original reporting. The release time of the documents is noted to be when the documents are made available to the public either directly or through third-party media reports. If a document is heavily redacted, only visible, legible, and unambiguous references count.