true names

vernor vinge

finished on january 16, 2022