The system identifier portion of the external identifier is recognized as a formal system identifier.