Winner of the 2012 Philip K. Dick Award Theorem: Petrovitch has a lot of secrets. Proof: Secrets like how to make anti-gravity for one. For another, he’s keeping a sentient computer program on