True Names by Vernor Vinge - WordSea