O книге: 2011 год / Vinnare av 2012 års Philip K. Dick Award Teorem: Petrovitch har många hemligheter. Bevis: Hemligheter som hur man gör antigravitation. För en annan håller han ett kännande datorprogram på en hemlig serverfarm – samma program som nästan förstörde Metrozone för några månader sedan. Sats: Staden är trasig. Bevis: Folket i OutZone vill ha vad invånarna i Metrozone har. Och sedan bränna den till marken. Nu, med hjärtat av staden förstört av New Machine Jihad, ser Outies äntligen sin chans. Sats: Dessa händelser är inte osammanhängande. Bevis: Någon försöker döda Petrovitch och de är villiga att sänka hela staden för att göra det.