Команда сообщает о 34 существенных отступлениях от опубликованных аргументов. Подозрительные места исследовали отдельно, поскольку ошибиться мог и агент. В квазитонких томах Ашбахера и Смита нашлось ложное равенство. Для матричной группы SL₂(5) над полем из пяти элементов одна величина равнялась 1 вместо требуемых 2. Замена равенства неравенством вернула случаи, ранее исключённые в последующих рассуждениях. Команда расширила более ранний аргумент и перераспределила случаи, сохранив конечный вывод. Находки обсуждали со специалистами и собирали в список исправлений. Самое серьёзное препятствие касалось теоремы о несбалансированных группах, UGT...