последствия возможности автономно формально проверять программное обеспечение почти невообразимо обширны