@darius That pedant didn't get to Vernor Vinge before he wrote "Rainbows End". 🙂

https://en.wikipedia.org/wiki/Rainbows_End_(Vinge_novel)