Also plays a role in another of his books, Anathem.