Люди не розуміють головну думку — Клод сьогодні знайшов критичні питання за кілька хвилин. Кожен, хто завтра бігає тиждень, знайде більше. Баги не закінчуються, а програмування на основі штучного інтелекту додає ще більше. Єдиний спосіб зупинити цю погоню — це формальна перевірка.