John Wilkins in The Baroque Cycle, Neal Stephenson