Луреат премії Філіпа К. Діка 2012 року. Теорема: Петрович має багато секретів. Доказ: секрети, наприклад, як створити антигравітацію для одного. З іншого боку, він зберігає розумну комп’ютерну програму на секретній фермі серверів — ту саму програму, яка ледь не знищила Метрозону кілька місяців тому. Теорема: Місто зламано. Доказ: люди OutZone хочуть те, що мають жителі Метрозони. А потім спалити дотла. Тепер, коли джихад Нової Машини знищив серце міста, ауті нарешті побачили свій шанс. Теорема: ці події не пов’язані між собою. Доказ: хтось намагається вбити Петровича, і вони готові потопити все місто, щоб це зробити. це.