Лауреат премии Филипа К. Дика 2012 года. Теорема: у Петровича много секретов. Доказательство: такие секреты, как создание антигравитации для одного. Во-вторых, он хранит разумную компьютерную программу на секретной серверной ферме — ту самую программу, которая чуть не уничтожила Метрозону несколько месяцев назад. Теорема: город разрушен. Доказательство: люди Внешней зоны хотят того же, что есть у граждан Метрозоны. А потом сжечь его дотла. Теперь, когда сердце города разрушено Джихадом Новой Машины, аутисты наконец видят свой шанс. Теорема: эти события не связаны друг с другом. Доказательство: кто-то пытается убить Петровича, и для этого они готовы потопить весь город. это.