Выводы представляют собой логические выводы относительно программы , основанной на выводах ревизоров , и должны вытекать из выводов , а не представлять их резюме .
Логические выводы программы игнорируют выводы ревизоров .