True names by Vernor Vinge and the opening of the cyberspace frontier