α» VernorVinge edit** « wiki αt10xxxxx