ExternalURL
排中律