Limits of the interpretation

The theorem excludes unavailable uses, not every context containing an unavailable name. It is also important to retain the direction:

Availability alone does not establish adequate transport resources for several competing uses. An implementation may additionally require path certificates and exclusive channel ownership.